diff options
author | Justus Winter <justus@gnupg.org> | 2016-02-26 15:32:12 +0100 |
---|---|---|
committer | Justus Winter <justus@gnupg.org> | 2016-02-26 15:32:12 +0100 |
commit | 7debcbf8fb5b5b99e5a0b48ec6e9672455237938 (patch) | |
tree | a4ba6e3ac3249d694d4141ed156873ce2d61a2c1 /device/intr.c | |
parent | e5921e151ef397b25db7fe85a325728503a77e9b (diff) |
Fix xen build
Diffstat (limited to 'device/intr.c')
-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 */ |