From 18552b26639899a3ffb5089a8490280e6a393dda Mon Sep 17 00:00:00 2001
From: Julien Grall <julien.grall@linaro.org>
Date: Sun, 22 Jun 2014 17:18:52 +0100
Subject: [PATCH 47/48] arm/xen: define NUM_EVTCHN_INTS and FIRST_EVTCHN_INT

---
 sys/arm/include/intr_machdep.h | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/sys/arm/include/intr_machdep.h b/sys/arm/include/intr_machdep.h
index eb749e0..32f9400 100644
--- a/sys/arm/include/intr_machdep.h
+++ b/sys/arm/include/intr_machdep.h
@@ -67,6 +67,13 @@
 #define NIRQ		32
 #endif
 
+#ifdef XENHVM
+#include <xen/xen-os.h>
+#define NUM_EVTCHN_INTS		NR_EVENT_CHANNELS
+#define FIRST_EVTCHN_INT	NIRQ + NUM_EVTCHN_INTS
+#else
+#define NUM_EVTCHN_INTS		0
+#endif
 
 int arm_get_next_irq(int);
 void arm_mask_irq(uintptr_t);
-- 
2.1.0