From c77613bf7f321494e9a44d8665cb558387433ea3 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] 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 7ab69d9405a0..81185d3a24ab 100644
--- a/sys/arm/include/intr_machdep.h
+++ b/sys/arm/include/intr_machdep.h
@@ -93,4 +93,10 @@ int  gic_decode_fdt(uint32_t iparentnode, uint32_t *intrcells, int *interrupt,
 int arm_fdt_map_irq(phandle_t, pcell_t *, int);
 #endif
 
+/* TODO: Implement it */
+static inline u_int intr_next_cpu(void)
+{
+	return 0;
+}
+
 #endif	/* _MACHINE_INTR_H */
-- 
2.39.5