Changeset 446 for trunk/kernel/kern/printk.c

Timestamp:

Jun 19, 2018, 5:12:57 PM (5 years ago)

Author:

alain

Message:

miscelaneous...

File:

• trunk/kernel/kern/printk.c (modified) (4 diffs)

trunk/kernel/kern/printk.c

@@ -28 +28 @@
 #include <remote_spinlock.h>
 #include <cluster.h>
+#include <thread.h>
 #include <chdev.h>
 #include <printk.h>
@@ -399 +400 @@
         chdev_t * txt0_ptr = GET_PTR( txt0_xp );
 
-        // get extended pointer on remote TXT0 chdev lock
+        // get extended pointer on remote TXT0 lock
         xptr_t  lock_xp = XPTR( txt0_cxy , &txt0_ptr->wait_lock );
 
@@ -406 +407 @@
 
         // call nolock_printk to print function_name
-        nolock_printk("\n[PANIC] in %s : " , function_name );
+        nolock_printk("\n[PANIC] on core[%x,%d] in %s : " ,
+        local_cxy , CURRENT_THREAD->core->lid , function_name );
 
         // call kernel_printf on TXT0, in busy waiting to print format
@@ -417 +419 @@
 
         // suicide
-        sys_exit( EXIT_FAILURE );
+        while( 1 ) asm volatile ("nop");
     }
 }