Arm: fix build after 892b9dcebdb7

Commit Message

Jan Beulich Jan. 14, 2020, 2:35 p.m. UTC

"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 <[e-mail]>

Comments

Andrew Cooper Jan. 14, 2020, 2:35 p.m. UTC | #1

On 14/01/2020 14:35, Jan Beulich wrote:
> "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 <[e-mail]>

Acked-by: Andrew Cooper <[e-mail]>

Patch

--- 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 *);