Searched refs:ipi_vectored (Results 1 – 3 of 3) sorted by relevance
356 ipi_vectored = xen_pv_lapic_ipi_vectored; in xen_setup_cpus()357 native_ipi_vectored = ipi_vectored; in xen_setup_cpus()
197 extern void (*ipi_vectored)(u_int, int);243 ipi_vectored(vector, dest); in lapic_ipi_vectored()
2101 void (*ipi_vectored)(u_int, int) = &native_lapic_ipi_vectored; variable