From 647876dd15dfe2c9521a1df87b2caacee93a8cdb Mon Sep 17 00:00:00 2001
From: Julien Grall <julien.grall@linaro.org>
Date: Sun, 2 Nov 2014 19:54:48 +0000
Subject: [PATCH 44/48] HACK: arm: Implement intr_next_cpu

Required for the event channel code
---
 sys/arm/include/intr_machdep.h | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/sys/arm/include/intr_machdep.h b/sys/arm/include/intr_machdep.h
index 3509772..eb749e0 100644
--- a/sys/arm/include/intr_machdep.h
+++ b/sys/arm/include/intr_machdep.h
@@ -85,4 +85,10 @@ void gic_init_secondary(void);
 int  gic_decode_fdt(uint32_t iparentnode, uint32_t *intrcells, int *interrupt,
     int *trig, int *pol);
 
+/* TODO: Implement it */
+static inline u_int intr_next_cpu(void)
+{
+	return 0;
+}
+
 #endif	/* _MACHINE_INTR_H */
-- 
2.1.0

