Changeset 282

Timestamp:

Jul 27, 2017, 10:26:03 AM (8 years ago)

Author:

max@…

Message:

Don't use CURRENT_THREAD->core, since it is not yet initialized.

File:

• trunk/kernel/devices/dev_pic.c (modified) (1 diff)

trunk/kernel/devices/dev_pic.c

@@ -135 +135 @@
 void dev_pic_enable_ipi()
 {
-    irq_dmsg("\n[INFO] %s : core = [%x,%d]\n",
-             __FUNCTION__ , local_cxy , CURRENT_THREAD->core->lid );
+    irq_dmsg("\n[INFO] %s : core = [%x,?]\n",
+             __FUNCTION__ , local_cxy );
 
     // get pointer on PIC chdev