Searched refs:xen_irq_info_ipi_setup (Results 1 – 1 of 1) sorted by relevance
318 static int xen_irq_info_ipi_setup(unsigned cpu, in xen_irq_info_ipi_setup() function1221 ret = xen_irq_info_ipi_setup(cpu, irq, evtchn, ipi); in bind_ipi_to_irq()1956 (void)xen_irq_info_ipi_setup(cpu, irq, evtchn, ipi); in restore_cpu_ipis()