Changeset 374 for trunk/kernel/kern/rpc.c

Timestamp:

Aug 14, 2017, 2:51:39 PM (7 years ago)

Author:

max@…

Message:

Use panic().

File:

• trunk/kernel/kern/rpc.c (modified) (2 diffs)

trunk/kernel/kern/rpc.c

@@ -85 +85 @@
 void __attribute__((noinline)) rpc_undefined()
 {
-    printk("\n[PANIC] ‰s called in cluster %x\n", __FUNCTION__ , local_cxy );
-    hal_core_sleep();
+        panic("called in cluster %x", local_cxy );
 }
 
@@ -1959 +1958 @@
         if( this->trdid != rpc_fifo->owner )
         {
-            printk("\n[PANIC] in %s : thread %x on core[%x,%d] not owner of RPC_FIFO\n",
-            __FUNCTION__, this->trdid, local_cxy, this->core->lid );
-            hal_core_sleep();
+            panic("thread %x on core[%x,%d] not owner of RPC_FIFO",
+                  this->trdid, local_cxy, this->core->lid );
         }