Symbol: IRQT_IPI
drivers/xen/events/events_base.c
1284
WARN_ON(info == NULL || info->type != IRQT_IPI);
drivers/xen/events/events_base.c
375
return xen_irq_info_common_setup(info, IRQT_IPI, evtchn, 0);
drivers/xen/events/events_base.c
444
BUG_ON(info->type != IRQT_IPI);
drivers/xen/events/events_base.c
980
case IRQT_IPI: