Home
last modified time | relevance | path

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

/openbmc/linux/drivers/xen/events/
H A Devents_base.c81 IRQT_IPI, enumerator
375 return xen_irq_info_common_setup(info, IRQT_IPI, evtchn, 0); in xen_irq_info_ipi_setup()
444 BUG_ON(info->type != IRQT_IPI); in ipi_from_irq()
970 case IRQT_IPI: in __unbind_from_irq()
1295 WARN_ON(info == NULL || info->type != IRQT_IPI); in bind_ipi_to_irq()