diff options
| author | Marin Ramesa <mpr@hi.t-com.hr> | 2013-11-29 22:53:46 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-12-05 06:04:53 +0900 |
| commit | 35f8aad6128b05bae4cbdab3dca68724482daa3d (patch) | |
| tree | 48067cee67f6feaa3899f6c0b6bf434f380860e5 /kern/exception.c | |
| parent | 07b0148ff9148b07d3d100e4a57c3a5fc873029d (diff) | |
kern: new header file exception.h
* Makefrag.am: Include kern/exception.h.
* i386/i386/trap.c: Include kern/exception.h.
(exception, thread_exception_return): Remove forward declarations.
* kern/exception.c: Include kern/exception.h.
(exception, exception_try_task, exception_no_server, exception_raise, exception_parse_reply, exception_raise_continue, exception_raise_continue_slow, exception_raise_continue_fast): Remove forward declarations.
* kern/exception.h: New file.
Add copyright.
[_KERN_EXCEPTION_H_]: Add ifndef.
(exception, exception_try_task, exception_no_server, exception_raise, exception_parse_reply, exception_raise_continue, exception_raise_continue_slow, exception_raise_continue_fast): Add prototypes.
Diffstat (limited to 'kern/exception.c')
| -rw-r--r-- | kern/exception.c | 13 |
1 files changed, 1 insertions, 12 deletions
diff --git a/kern/exception.c b/kern/exception.c index 112511e..d73b196 100644 --- a/kern/exception.c +++ b/kern/exception.c @@ -47,20 +47,9 @@ #include <kern/processor.h> #include <kern/sched.h> #include <kern/sched_prim.h> +#include <kern/exception.h> #include <mach/machine/vm_types.h> - - -extern void exception() __attribute__ ((noreturn)); -extern void exception_try_task() __attribute__ ((noreturn)); -extern void exception_no_server() __attribute__ ((noreturn)); - -extern void exception_raise() __attribute__ ((noreturn)); -extern kern_return_t exception_parse_reply(); -extern void exception_raise_continue() __attribute__ ((noreturn)); -extern void exception_raise_continue_slow() __attribute__ ((noreturn)); -extern void exception_raise_continue_fast() __attribute__ ((noreturn)); - #if MACH_KDB extern void thread_kdb_return(); extern void db_printf(); |