diff options
| author | Justus Winter <justus@gnupg.org> | 2016-02-25 20:54:22 +0100 |
|---|---|---|
| committer | Justus Winter <justus@gnupg.org> | 2016-02-25 20:54:22 +0100 |
| commit | 652cbc1f88f02f92096051a7ce13dcbf77e55fc4 (patch) | |
| tree | c9072d5e57bf7b2e3a5b3ccb92341cdf93a0f898 /kern | |
| parent | f7c2f4ba69c3ae7df8fddcc2969e2c21e109dbd1 (diff) | |
Rework/comment on the userspace interrupt handling
Diffstat (limited to 'kern')
| -rw-r--r-- | kern/startup.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kern/startup.c b/kern/startup.c index 05de5e6..0a571ff 100644 --- a/kern/startup.c +++ b/kern/startup.c @@ -62,6 +62,7 @@ #include <machine/model_dep.h> #include <mach/version.h> #include <device/device_init.h> +#include <device/interrupt.h> #if MACH_KDB #include <device/cons.h> @@ -79,7 +80,6 @@ boolean_t reboot_on_panic = TRUE; /* XX */ extern vm_offset_t phys_first_addr, phys_last_addr; extern char *kernel_cmdline; -extern void intr_thread(); /* * Running in virtual memory, on the interrupt stack. |