Changes in kernel/generic/include/interrupt.h [8f4f444:9d58539] in mainline
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/generic/include/interrupt.h
r8f4f444 r9d58539 38 38 #include <arch/interrupt.h> 39 39 #include <print.h> 40 #include <stdarg.h>41 40 #include <typedefs.h> 42 41 #include <proc/task.h> … … 59 58 extern exc_table_t exc_table[]; 60 59 61 extern void fault_from_uspace(istate_t *, const char *, ...);62 60 extern void fault_if_from_uspace(istate_t *, const char *, ...) 63 61 PRINTF_ATTRIBUTE(2, 3);
Note:
See TracChangeset
for help on using the changeset viewer.