Changes in kernel/generic/include/interrupt.h [d99c1d2:3a2f8aa] in mainline

File:

• kernel/generic/include/interrupt.h (modified) (2 diffs)

kernel/generic/include/interrupt.h

@@ -37 +37 @@
 
 #include <arch/interrupt.h>
-#include <typedefs.h>
+#include <arch/types.h>
 #include <proc/task.h>
 #include <proc/thread.h>
@@ -46 +46 @@
 typedef void (* iroutine)(int n, istate_t *istate);
 
-extern void fault_if_from_uspace(istate_t *istate, const char *fmt, ...);
+extern void fault_if_from_uspace(istate_t *istate, char *fmt, ...);
 extern iroutine exc_register(int n, const char *name, iroutine f);
 extern void exc_dispatch(int n, istate_t *t);