diff options
Diffstat (limited to 'device')
| -rw-r--r-- | device/intr.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/device/intr.c b/device/intr.c index 7a1eccb..a061d5e 100644 --- a/device/intr.c +++ b/device/intr.c @@ -1,6 +1,7 @@ #include <device/intr.h> #include <device/ds_routines.h> #include <ipc/ipc_space.h> +#include <kern/debug.h> #include <kern/queue.h> #include <kern/printf.h> #include <mach/notify.h> @@ -274,4 +275,12 @@ intr_thread () } } +#else /* MACH_XEN */ + +boolean_t +intr_entry_notify (mach_msg_header_t *msg) +{ + panic ("not reached"); +} + #endif /* MACH_XEN */ |