Fix xen build

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 */