Changes in kernel/generic/include/interrupt.h [a074b4f:a5c86478] in mainline

File:

• kernel/generic/include/interrupt.h (modified) (1 diff)

kernel/generic/include/interrupt.h

@@ -46 +46 @@
 typedef void (* iroutine)(int n, istate_t *istate);
 
-extern void fault_if_from_uspace(istate_t *istate, char *fmt, ...);
+#define fault_if_from_uspace(istate, fmt, ...) \
+{ \
+        if (istate_from_uspace(istate)) { \
+                task_t *task = TASK; \
+                printf("Task %s (%" PRIu64 ") killed due to an exception at " \
+                    "program counter %p.\n", task->name, task->taskid, istate_get_pc(istate)); \
+                stack_trace_istate(istate); \
+                printf("Kill message: " fmt "\n", ##__VA_ARGS__); \
+                task_kill(task->taskid); \
+                thread_exit(); \
+        } \
+}
+
 extern iroutine exc_register(int n, const char *name, iroutine f);
 extern void exc_dispatch(int n, istate_t *t);