XEN_NR_IPIS        12 arch/arm/include/asm/xen/events.h 	XEN_NR_IPIS,
XEN_NR_IPIS        12 arch/arm64/include/asm/xen/events.h 	XEN_NR_IPIS,
XEN_NR_IPIS        15 arch/x86/include/asm/xen/events.h 	XEN_NR_IPIS,