Changes in kernel/generic/src/interrupt/interrupt.c [04e3d9f:96b02eb9] in mainline

File:

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

kernel/generic/src/interrupt/interrupt.c

@@ -163 +163 @@
 {
         fault_if_from_uspace(istate, "Unhandled exception %u.", n);
-        panic("Unhandled exception %u.", n);
+        panic_badtrap(istate, n, "Unhandled exception %u.", n);
 }
 
@@ -176 +176 @@
         printf("Task %s (%" PRIu64 ") killed due to an exception at "
             "program counter %p.\n", TASK->name, TASK->taskid,
-            istate_get_pc(istate));
+            (void *) istate_get_pc(istate));
         
         stack_trace_istate(istate);
@@ -197 +197 @@
                 /* Notify the subscriber that a fault occurred. */
                 event_notify_3(EVENT_FAULT, LOWER32(TASK->taskid),
-                    UPPER32(TASK->taskid), (unative_t) THREAD);
+                    UPPER32(TASK->taskid), (sysarg_t) THREAD);
                 
 #ifdef CONFIG_UDEBUG
@@ -263 +263 @@
                 
                 const char *symbol =
-                    symtab_fmt_name_lookup((unative_t) exc_table[i].handler);
+                    symtab_fmt_name_lookup((sysarg_t) exc_table[i].handler);
                 
 #ifdef __32_BITS__