Changeset 407 for trunk/kernel/devices/dev_pic.c

Timestamp:

Nov 7, 2017, 3:08:12 PM (6 years ago)

Author:

alain

Message:

First implementation of fork/exec.

File:

• trunk/kernel/devices/dev_pic.c (modified) (7 diffs)

trunk/kernel/devices/dev_pic.c

@@ -36 +36 @@
 
 extern chdev_directory_t  chdev_dir;         // allocated in kernel_init.c
+extern iopic_input_t      iopic_input;       // allocated in kernel_init.c
 
 ///////////////////////////////////
@@ -83 +84 @@
                          xptr_t  src_chdev_xp )
 {
-    irq_dmsg("\n[DMSG] %s : core = [%x,%d] / src_chdev_cxy = %x / src_chdev_ptr = %x\n",
-    __FUNCTION__ , local_cxy , lid , GET_CXY(src_chdev_xp) , GET_PTR(src_chdev_xp) );
+
+irq_dmsg("\n[DBG] %s : core = [%x,%d] / src_chdev_cxy = %x / src_chdev_ptr = %x\n",
+__FUNCTION__ , local_cxy , lid , GET_CXY(src_chdev_xp) , GET_PTR(src_chdev_xp) );
 
     // get pointer on PIC chdev
@@ -101 +103 @@
                           xptr_t  src_chdev_xp )
 {
-    irq_dmsg("\n[DMSG] %s : core = [%x,%d] / src_chdev_cxy = %x / src_chdev_ptr = %x\n",
-    __FUNCTION__ , local_cxy , lid , GET_CXY(src_chdev_xp) , GET_PTR(src_chdev_xp) );
+
+irq_dmsg("\n[DBG] %s : core = [%x,%d] / src_chdev_cxy = %x / src_chdev_ptr = %x\n",
+__FUNCTION__ , local_cxy , lid , GET_CXY(src_chdev_xp) , GET_PTR(src_chdev_xp) );
 
     // get pointer on PIC chdev
@@ -118 +121 @@
 void dev_pic_enable_timer( uint32_t period )
 {
-    irq_dmsg("\n[DMSG] %s : core = [%x,%d] / period = %d\n",
-    __FUNCTION__ , local_cxy , CURRENT_THREAD->core->lid , period );
+
+irq_dmsg("\n[DBG] %s : core = [%x,%d] / period = %d\n",
+__FUNCTION__ , local_cxy , CURRENT_THREAD->core->lid , period );
 
     // get pointer on PIC chdev
@@ -135 +139 @@
 void dev_pic_enable_ipi()
 {
-    irq_dmsg("\n[DMSG] %s : core = [%x,%d]\n",
-    __FUNCTION__ , local_cxy , CURRENT_THREAD->core->lid );
+
+irq_dmsg("\n[DBG] %s : core = [%x,%d] / cycle %d\n",
+__FUNCTION__ , local_cxy , CURRENT_THREAD->core->lid , hal_time_stamp() );
 
     // get pointer on PIC chdev
@@ -153 +158 @@
                        lid_t  lid )
 {
-    irq_dmsg("\n[DMSG] %s : enter / src_core = [%x,%d] / dst_core = [%x,%d] / cycle %d\n",
-    __FUNCTION__, local_cxy, CURRENT_THREAD->core->lid, cxy, lid, hal_time_stamp() );
+
+irq_dmsg("\n[DBG] %s : src_core = [%x,%d] / dst_core = [%x,%d] / cycle %d\n",
+__FUNCTION__, local_cxy, CURRENT_THREAD->core->lid, cxy, lid, hal_time_stamp() );
 
     // get pointer on PIC chdev
@@ -165 +171 @@
     // call relevant driver function
     f( cxy , lid );
-
-    irq_dmsg("\n[DMSG] %s : exit / src_core = [%x,%d] / dst_core = [%x,%d] / cycle %d\n",
-    __FUNCTION__, local_cxy, CURRENT_THREAD->core->lid, cxy, lid, hal_time_stamp() );
-}
-
+}
+
+//////////////////////
+void dev_pic_ack_ipi()
+{
+
+irq_dmsg("\n[DBG] %s : core = [%x,%d] / cycle %d\n",
+__FUNCTION__, local_cxy, CURRENT_THREAD->core->lid, hal_time_stamp() );
+
+    // get pointer on PIC chdev
+    chdev_t * pic_ptr = (chdev_t *)GET_PTR( chdev_dir.pic );
+    cxy_t     pic_cxy = GET_CXY( chdev_dir.pic );
+
+    // get pointer on ack_ipi function
+    ack_ipi_t * f = hal_remote_lpt( XPTR( pic_cxy , &pic_ptr->ext.pic.ack_ipi ) );
+
+    // call relevant driver function
+    f();
+}
+
+/////////////////////////////
+void dev_pic_inputs_display()
+{
+    uint32_t k;
+    uint32_t save_sr;
+
+    // get pointers on TXT0 chdev
+    xptr_t    txt0_xp  = chdev_dir.txt_tx[0];
+    cxy_t     txt0_cxy = GET_CXY( txt0_xp );
+    chdev_t * txt0_ptr = GET_PTR( txt0_xp );
+
+    // get extended pointer on remote TXT0 chdev lock
+    xptr_t  lock_xp = XPTR( txt0_cxy , &txt0_ptr->wait_lock );
+
+    // get TXT0 lock in busy waiting mode
+    remote_spinlock_lock_busy( lock_xp , &save_sr );
+
+    nolock_printk("\n***** iopic_inputs\n");
+
+    for( k = 0 ; k < CONFIG_MAX_IOC_CHANNELS ; k++ )
+    {
+        nolock_printk(" - IOC[%d]    hwi_id = %d\n", k , iopic_input.ioc[k] );
+    }
+
+    for( k = 0 ; k < CONFIG_MAX_TXT_CHANNELS ; k++ )
+    {
+        nolock_printk(" - TXT_TX[%d] hwi_id = %d\n", k , iopic_input.txt_tx[k] );
+        nolock_printk(" - TXT_RX[%d] hwi_id = %d\n", k , iopic_input.txt_rx[k] );
+    }
+
+    for( k = 0 ; k < CONFIG_MAX_NIC_CHANNELS ; k++ )
+    {
+        nolock_printk(" - NIC_TX[%d] hwi_id = %d\n", k , iopic_input.nic_tx[k] );
+        nolock_printk(" - NIC_RX[%d] hwi_id = %d\n", k , iopic_input.nic_rx[k] );
+    }
+
+    // release TXT0 lock
+    remote_spinlock_unlock_busy( lock_xp , save_sr );
+}
+
+