blob: fcf6e567285515e01df292fb7d8fa566e06b2124 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
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: [PATCH gnumach 9/9] 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 */
--
2.1.4
|