Changeset 570 for trunk/hal/tsar_mips32/drivers/soclib_pic.c

Timestamp:

Oct 5, 2018, 12:08:35 AM (6 years ago)

Author:

alain

Message:

Introduction of the soclib_mty driver for the TSAR-LETI architecture.

File:

• trunk/hal/tsar_mips32/drivers/soclib_pic.c (modified) (14 diffs)

trunk/hal/tsar_mips32/drivers/soclib_pic.c

@@ -49 +49 @@
 //////////////////////////////////////////////////////////////////////////////////////
 
-///////////////////////////////
+/////////////////////////////////////
 uint32_t soclib_pic_wti_alloc( void )
 {
@@ -68 +68 @@
 }  // end soclib_pic_wti_alloc()
 
-///////////////////////////////////////
+/////////////////////////////////////////////
 inline uint32_t * soclib_pic_xcu_base( void )
 {
@@ -111 +111 @@
 }
 
-/////////////////////////////
+///////////////////////////////////
 void soclib_pic_irq_handler( void )
 {
@@ -156 +156 @@
 
             // check RPC FIFO,  and activate or create a RPC thread
-            // condition is always true, but we use the ack value
-            // to avoid a GCC warning
-            if( ack + 1 ) rpc_check();
+            // (condition is always true, but we use the ack value to avoid a GCC warning)
+            if( ack + 1 ) sched_yield("IPI received");
         }
         ////////////////////////////////////////////////////////////////
@@ -267 +266 @@
         xptr_t iopic_seg_xp = XPTR( iopic_seg_cxy,
                                     iopic_seg_ptr + i*IOPIC_SPAN + IOPIC_MASK ); 
-        hal_remote_sw( iopic_seg_xp , 0 ); 
+        hal_remote_s32( iopic_seg_xp , 0 ); 
     }
 
@@ -358 +357 @@
 
     // get extended and local pointers on IOPIC  segment base
-    xptr_t     seg_pic_xp  = hal_remote_lwd( XPTR( pic_cxy , &pic_ptr->base ) );
+    xptr_t     seg_pic_xp  = hal_remote_l64( XPTR( pic_cxy , &pic_ptr->base ) );
     cxy_t      seg_pic_cxy = GET_CXY( seg_pic_xp );
     uint32_t * seg_pic_ptr = (uint32_t *)GET_PTR( seg_pic_xp );
@@ -399 +398 @@
         xptr_t   lsb_xp = XPTR( seg_pic_cxy , seg_pic_ptr+hwi_id*IOPIC_SPAN+IOPIC_ADDRESS );
         xptr_t   msb_xp = XPTR( seg_pic_cxy , seg_pic_ptr+hwi_id*IOPIC_SPAN+IOPIC_EXTEND );
-        hal_remote_sw( lsb_xp , lsb_wdata );
-        hal_remote_sw( msb_xp , msb_wdata );
+        hal_remote_s32( lsb_xp , lsb_wdata );
+        hal_remote_s32( msb_xp , msb_wdata );
 
         // enable IRQ in IOPIC
-        hal_remote_sw( XPTR( seg_pic_cxy , seg_pic_ptr+hwi_id*IOPIC_SPAN+IOPIC_MASK ), 1 );
+        hal_remote_s32( XPTR( seg_pic_cxy , seg_pic_ptr+hwi_id*IOPIC_SPAN+IOPIC_MASK ), 1 );
 
         // update the WTI interrupt vector for core[lid]
@@ -460 +459 @@
 
     // get the source chdev IRQ type and index
-    uint32_t irq_type = hal_remote_lw( XPTR( src_chdev_cxy , &src_chdev_ptr->irq_type ) );
-    uint32_t irq_id   = hal_remote_lw( XPTR( src_chdev_cxy , &src_chdev_ptr->irq_id ) );
+    uint32_t irq_type = hal_remote_l32( XPTR( src_chdev_cxy , &src_chdev_ptr->irq_type ) );
+    uint32_t irq_id   = hal_remote_l32( XPTR( src_chdev_cxy , &src_chdev_ptr->irq_id ) );
 
     if( irq_type == SOCLIB_TYPE_HWI )
@@ -467 +466 @@
         // enable this HWI in remote XCU controller 
         // in TSAR : XCU output [4*lid] is connected to core [lid]
-        hal_remote_sw( XPTR( src_chdev_cxy , 
+        hal_remote_s32( XPTR( src_chdev_cxy , 
                        &seg_xcu_ptr[ (XCU_MSK_HWI_ENABLE << 5) | (lid<<2) ] ) , (1 << irq_id) );
     }
@@ -474 +473 @@
         // enable this WTI in remote XCU controller 
         // in TSAR : XCU output [4*lid] is connected to core [lid]
-        hal_remote_sw( XPTR( src_chdev_cxy , 
+        hal_remote_s32( XPTR( src_chdev_cxy , 
                        &seg_xcu_ptr[ (XCU_MSK_WTI_ENABLE << 5) | (lid<<2) ] ) , (1 << irq_id) );
     }
@@ -495 +494 @@
 
     // get the source chdev IRQ type and index
-    uint32_t irq_type = hal_remote_lw( XPTR( src_chdev_cxy , &src_chdev_ptr->irq_type ) );
-    uint32_t irq_id   = hal_remote_lw( XPTR( src_chdev_cxy , &src_chdev_ptr->irq_id ) );
+    uint32_t irq_type = hal_remote_l32( XPTR( src_chdev_cxy , &src_chdev_ptr->irq_type ) );
+    uint32_t irq_id   = hal_remote_l32( XPTR( src_chdev_cxy , &src_chdev_ptr->irq_id ) );
 
     if( irq_type == SOCLIB_TYPE_HWI )
@@ -502 +501 @@
         // enable this HWI in remote XCU controller
         // in TSAR : XCU output [4*lid] is connected to core [lid]
-        hal_remote_sw( XPTR( src_chdev_cxy , 
+        hal_remote_s32( XPTR( src_chdev_cxy , 
                        &seg_xcu_ptr[(XCU_MSK_HWI_DISABLE << 5) | (lid<<2) ] ) , (1 << irq_id) );
     }
@@ -509 +508 @@
         // enable this WTI in remote XCU controller 
         // in TSAR : XCU output [4*lid] is connected to core [lid]
-        hal_remote_sw( XPTR( src_chdev_cxy , 
+        hal_remote_s32( XPTR( src_chdev_cxy , 
                        &seg_xcu_ptr[(XCU_MSK_WTI_DISABLE << 5) | (lid<<2) ] ) , (1 << irq_id) );
     }
@@ -558 +557 @@
 
     // write to WTI mailbox[cxy][lid]
-    hal_remote_sw( XPTR( cxy , &base[(XCU_WTI_REG << 5) | lid ] ) , 0 );
+    hal_remote_s32( XPTR( cxy , &base[(XCU_WTI_REG << 5) | lid ] ) , 0 );
 }