Searched refs:ipi_idx (Results 1 – 1 of 1) sorted by relevance
308 int ipi_idx, to_cpu, self; in xen_pv_lapic_ipi_vectored() local315 ipi_idx = IPI_TO_IDX(vector); in xen_pv_lapic_ipi_vectored()316 if (ipi_idx >= nitems(xen_ipis)) in xen_pv_lapic_ipi_vectored()322 xen_intr_signal(ipi_handle[ipi_idx]); in xen_pv_lapic_ipi_vectored()327 xen_intr_signal(ipi_handle[ipi_idx]); in xen_pv_lapic_ipi_vectored()335 xen_intr_signal(ipi_handle[ipi_idx]); in xen_pv_lapic_ipi_vectored()342 xen_intr_signal(ipi_handle[ipi_idx]); in xen_pv_lapic_ipi_vectored()