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

Timestamp:

Aug 29, 2017, 12:03:37 PM (7 years ago)

Author:

alain

Message:

This version executed successfully the user "init" process on a mono-processor TSAR architecture.

File:

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

trunk/kernel/devices/dev_pic.c

@@ -83 +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 );
+    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) );
 
     // get pointer on PIC chdev
@@ -101 +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 );
+    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) );
 
     // get pointer on PIC chdev
@@ -118 +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 );
+    irq_dmsg("\n[DMSG] %s : core = [%x,%d] / period = %d\n",
+    __FUNCTION__ , local_cxy , CURRENT_THREAD->core->lid , period );
 
     // get pointer on PIC chdev
@@ -135 +135 @@
 void dev_pic_enable_ipi()
 {
-    irq_dmsg("\n[INFO] %s : core = [%x,?]\n",
-             __FUNCTION__ , local_cxy );
+    irq_dmsg("\n[DMSG] %s : core = [%x,%d]\n",
+    __FUNCTION__ , local_cxy , CURRENT_THREAD->core->lid );
 
     // get pointer on PIC chdev
@@ -153 +153 @@
                        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() );
+    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() );
 
     // get pointer on PIC chdev
@@ -166 +166 @@
     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() );
+    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() );
 }