From: Jan Beulich <jbeulich@suse.com>
Date: Tue, 14 Jan 2020 15:06:27 +0000 (+0100)
Subject: Arm: fix build after 892b9dcebdb7
X-Git-Tag: 4.14.0-rc1~796
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=b4194711ffaffa5e63d986338fb8d4020fa6bad1;p=xen.git

Arm: fix build after 892b9dcebdb7

"IRQ: u16 is too narrow for an event channel number" introduced a use of
evetchn_port_t, but its typedef apparently surfaces indirectly here only
on x86.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Andrew Cooper <andrew.cooper3@citrix.com>
---

diff --git a/xen/include/xen/irq.h b/xen/include/xen/irq.h
index 59d5e45bb0..43d567fe44 100644
--- a/xen/include/xen/irq.h
+++ b/xen/include/xen/irq.h
@@ -8,6 +8,7 @@
 #include <xen/list.h>
 #include <asm/regs.h>
 #include <asm/hardirq.h>
+#include <public/event_channel.h>
 
 struct irqaction {
     void (*handler)(int, void *, struct cpu_user_regs *);