arm/xen: define NUM_EVTCHN_INTS and FIRST_EVTCHN_INT

diff --git a/sys/arm/include/intr_machdep.h b/sys/arm/include/intr_machdep.h
index 81185d3a24ab8097d455414f369dd540bbb96541..04366240f113b0606bcda0a95503a9bdc4af7632 100644 (file)
--- a/sys/arm/include/intr_machdep.h
+++ b/sys/arm/include/intr_machdep.h
@@ -71,6 +71,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);