From 7debcbf8fb5b5b99e5a0b48ec6e9672455237938 Mon Sep 17 00:00:00 2001
From: Justus Winter <justus@gnupg.org>
Date: Fri, 26 Feb 2016 15:32:12 +0100
Subject: Fix xen build

---
 device/intr.c | 9 +++++++++
 1 file changed, 9 insertions(+)

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 */
-- 
cgit v1.2.3