Changes in kernel/generic/src/interrupt/interrupt.c [1ad52de:7e752b2] in mainline

File:

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

kernel/generic/src/interrupt/interrupt.c

@@ -197 +197 @@
                 /* Notify the subscriber that a fault occurred. */
                 event_notify_3(EVENT_FAULT, LOWER32(TASK->taskid),
-                    UPPER32(TASK->taskid), (sysarg_t) THREAD);
+                    UPPER32(TASK->taskid), (unative_t) THREAD);
                 
 #ifdef CONFIG_UDEBUG
@@ -207 +207 @@
         task_kill(TASK->taskid);
         thread_exit();
-}
-
-/** Get istate structure of a thread.
- *
- * Get pointer to the istate structure at the bottom of the kernel stack.
- *
- * This function can be called in interrupt or user context. In interrupt
- * context the istate structure is created by the low-level exception
- * handler. In user context the istate structure is created by the
- * low-level syscall handler.
- */
-istate_t *istate_get(thread_t *thread)
-{
-        /*
-         * The istate structure should be right at the bottom of the kernel
-         * stack.
-         */
-        return (istate_t *) ((uint8_t *) thread->kstack + THREAD_STACK_SIZE -
-            sizeof(istate_t));
 }
 
@@ -282 +263 @@
                 
                 const char *symbol =
-                    symtab_fmt_name_lookup((sysarg_t) exc_table[i].handler);
+                    symtab_fmt_name_lookup((unative_t) exc_table[i].handler);
                 
 #ifdef __32_BITS__