Searched refs:IRQT_IPI (Results 1 - 1 of 1) sorted by relevance

/linux-master/drivers/xen/events/
H A Devents_base.c81 IRQT_IPI, enumerator in enum:xen_irq_type
374 return xen_irq_info_common_setup(info, IRQT_IPI, evtchn, 0);
443 BUG_ON(info->type != IRQT_IPI);
985 case IRQT_IPI:
1289 WARN_ON(info == NULL || info->type != IRQT_IPI);

Completed in 97 milliseconds