Arm: fix build after 892b9dcebdb7
authorJan Beulich <jbeulich@suse.com>
Tue, 14 Jan 2020 15:06:27 +0000 (16:06 +0100)
committerJan Beulich <jbeulich@suse.com>
Tue, 14 Jan 2020 15:06:27 +0000 (16:06 +0100)
commitb4194711ffaffa5e63d986338fb8d4020fa6bad1
tree5504933074a2599eda360aee372f1d87ceba3dbe
parentc7de94fd6ec5aba53ce5b8fd6ceb6031c53bb28d
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>
xen/include/xen/irq.h