xen/evtchn: Fix build on ARM

The recent event channel changes introduced by commit a77eb86 and before...
break the compilation on Xen ARM. This commit adds missing includes in
common/event_fifo.c and include/xen/sched.h.

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>

diff --git a/xen/common/event_fifo.c b/xen/common/event_fifo.c
index eb0b97c9a549eb4319d951941941ba5c877023b6..bec8d8789f6f30e3fc47b3bea5bed3cea289d73e 100644 (file)
--- a/xen/common/event_fifo.c
+++ b/xen/common/event_fifo.c
@@ -16,6 +16,7 @@
 #include <xen/event_fifo.h>
 #include <xen/paging.h>
 #include <xen/mm.h>
+#include <xen/domain_page.h>
 
 #include <public/event_channel.h>
 

diff --git a/xen/include/xen/sched.h b/xen/include/xen/sched.h
index c2588a5f86dc7b94365fb3acccb5caf97566828e..25bf63776a1da1dbcf65704cafa1d326adbcabb2 100644 (file)
--- a/xen/include/xen/sched.h
+++ b/xen/include/xen/sched.h
@@ -24,6 +24,7 @@
 #include <public/sysctl.h>
 #include <public/vcpu.h>
 #include <public/mem_event.h>
+#include <public/event_channel.h>
 
 #ifdef CONFIG_COMPAT
 #include <compat/vcpu.h>