Changes in kernel/generic/src/interrupt/interrupt.c [7e752b2:04e3d9f] in mainline

File:

• kernel/generic/src/interrupt/interrupt.c (modified) (2 diffs)

kernel/generic/src/interrupt/interrupt.c

@@ -163 +163 @@
 {
         fault_if_from_uspace(istate, "Unhandled exception %u.", n);
-        panic_badtrap(istate, n, "Unhandled exception %u.", n);
+        panic("Unhandled exception %u.", n);
 }
 
@@ -176 +176 @@
         printf("Task %s (%" PRIu64 ") killed due to an exception at "
             "program counter %p.\n", TASK->name, TASK->taskid,
-            (void *) istate_get_pc(istate));
+            istate_get_pc(istate));
         
         stack_trace_istate(istate);