Searched refs:xen_irq_info_ipi_init (Results 1 – 1 of 1) sorted by relevance
160 static void xen_irq_info_ipi_init(unsigned cpu, in xen_irq_info_ipi_init() function862 xen_irq_info_ipi_init(cpu, irq, evtchn, ipi); in bind_ipi_to_irq()1621 xen_irq_info_ipi_init(cpu, irq, evtchn, ipi); in restore_cpu_ipis()