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