IRQT_IPI          205 drivers/xen/events/events_base.c 	return xen_irq_info_common_setup(info, irq, IRQT_IPI, evtchn, 0);
IRQT_IPI          272 drivers/xen/events/events_base.c 	BUG_ON(info->type != IRQT_IPI);
IRQT_IPI          622 drivers/xen/events/events_base.c 		case IRQT_IPI:
IRQT_IPI          903 drivers/xen/events/events_base.c 		WARN_ON(info == NULL || info->type != IRQT_IPI);