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

Timestamp:

Jul 27, 2017, 12:23:29 AM (7 years ago)

Author:

alain

Message:

1) Introduce independant command fields for the various devices in the thread descriptor.
2) Introduce a new dev_pic_enable_ipi() function in the generic PIC device
3) Fix two bugs identified by Maxime in the scheduler initialisation, and in the sched_select().
4) fix several bugs in the TSAR hal_kentry.S.
5) Introduce a third kgiet segment (besides kdata and kcode) in the TSAR bootloader.

File:

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

trunk/kernel/devices/dev_pic.c

@@ -26 +26 @@
 #include <chdev.h>
 #include <printk.h>
+#include <thread.h>
 #include <hal_drivers.h>
 #include <dev_pic.h>
@@ -82 +83 @@
                          xptr_t  src_chdev_xp )
 {
+    irq_dmsg("\n[INFO] %s : core = [%x,%d] / source_chdev_xp = %l\n",
+             __FUNCTION__ , local_cxy , lid , src_chdev_xp );
+
     // get pointer on PIC chdev
     chdev_t * pic_ptr = (chdev_t *)GET_PTR( chdev_dir.pic );
@@ -97 +101 @@
                           xptr_t  src_chdev_xp )
 {
+    irq_dmsg("\n[INFO] %s : core = [%x,%d] / source_chdev_xp = %l\n",
+             __FUNCTION__ , local_cxy , lid , src_chdev_xp );
+
     // get pointer on PIC chdev
     chdev_t * pic_ptr = (chdev_t *)GET_PTR( chdev_dir.pic );
@@ -111 +118 @@
 void dev_pic_enable_timer( uint32_t period )
 {
+    irq_dmsg("\n[INFO] %s : core = [%x,%d] / period = %d\n",
+             __FUNCTION__ , local_cxy , CURRENT_THREAD->core->lid , period );
+
     // get pointer on PIC chdev
     chdev_t * pic_ptr = (chdev_t *)GET_PTR( chdev_dir.pic );
@@ -122 +132 @@
 }
 
+/////////////////////////
+void dev_pic_enable_ipi()
+{
+    irq_dmsg("\n[INFO] %s : core = [%x,%d]\n",
+             __FUNCTION__ , local_cxy , CURRENT_THREAD->core->lid );
+
+    // 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 enable_timer function
+    enable_ipi_t * f = hal_remote_lpt( XPTR( pic_cxy , &pic_ptr->ext.pic.enable_ipi ) );
+
+    // call relevant driver function
+    f();
+}
+
 //////////////////////////////////
 void dev_pic_send_ipi( cxy_t  cxy,
                        lid_t  lid )
 {
+    irq_dmsg("\n[INFO] %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() );
+
     // get pointer on PIC chdev
     chdev_t * pic_ptr = (chdev_t *)GET_PTR( chdev_dir.pic );
@@ -135 +165 @@
     // call relevant driver function
     f( cxy , lid );
+
+    irq_dmsg("\n[INFO] %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() );
 }