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

/linux-4.1.27/drivers/xen/events/
H A Devents_base.c193 static int xen_irq_info_ipi_setup(unsigned cpu, xen_irq_info_ipi_setup() function
903 ret = xen_irq_info_ipi_setup(cpu, irq, evtchn, ipi); bind_ipi_to_irq()
1495 (void)xen_irq_info_ipi_setup(cpu, irq, evtchn, ipi); restore_cpu_ipis()

Completed in 63 milliseconds