Changes in kernel/generic/src/interrupt/interrupt.c [0d21b53:44b7783] in mainline

File:

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

kernel/generic/src/interrupt/interrupt.c

@@ -44 +44 @@
 #include <console/console.h>
 #include <console/cmd.h>
-#include <ipc/event.h>
-#include <synch/mutex.h>
-#include <time/delay.h>
-#include <macros.h>
 #include <panic.h>
 #include <print.h>
@@ -111 +107 @@
         fault_if_from_uspace(istate, "Unhandled exception %d.", n);
         panic("Unhandled exception %d.", n);
-}
-
-/** Terminate thread and task if exception came from userspace. */
-void fault_if_from_uspace(istate_t *istate, char *fmt, ...)
-{
-        task_t *task = TASK;
-        va_list args;
-
-        if (!istate_from_uspace(istate))
-                return;
-
-        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: ");
-        va_start(args, fmt);
-        vprintf(fmt, args);
-        va_end(args);
-        printf("\n");
-
-        /*
-         * Userspace can subscribe for FAULT events to take action
-         * whenever a thread faults. (E.g. take a dump, run a debugger).
-         * The notification is always available, but unless Udebug is enabled,
-         * that's all you get.
-         */
-        if (event_is_subscribed(EVENT_FAULT)) {
-                /* Notify the subscriber that a fault occurred. */
-                event_notify_3(EVENT_FAULT, LOWER32(TASK->taskid),
-                    UPPER32(TASK->taskid), (unative_t) THREAD);
-
-#ifdef CONFIG_UDEBUG
-                /* Wait for a debugging session. */
-                udebug_thread_fault();
-#endif
-        }
-
-        task_kill(task->taskid);
-        thread_exit();
 }