Lock depth checking allows panicy prints
[akaros.git] / kern / src / frontend.c
index fee839e..3f4ab22 100644 (file)
@@ -195,12 +195,12 @@ void __diediedie(trapframe_t* tf, uint32_t srcid, uint32_t code, uint32_t a1, ui
        while(1);
 }
 
-void appserver_die(int code)
+void appserver_die(uintptr_t code)
 {
        int i;
        for(i = 0; i < num_cpus; i++)
                if(i != core_id())
-                       while(send_kernel_message(i,(amr_t)&__diediedie,(void*)code,0,0,
+                       while(send_kernel_message(i, (amr_t)&__diediedie, code, 0, 0,
                                                  KMSG_IMMEDIATE));
 
        // just in case.