Searched refs:ipi_idx (Results 1 – 1 of 1) sorted by relevance
161 int ipi_idx, to_cpu, self; in xen_pv_lapic_ipi_vectored() local180 ipi_idx = IPI_TO_IDX(vector); in xen_pv_lapic_ipi_vectored()181 if (ipi_idx >= nitems(xen_ipis)) in xen_pv_lapic_ipi_vectored()187 xen_intr_signal(ipi_handle[ipi_idx]); in xen_pv_lapic_ipi_vectored()192 xen_intr_signal(ipi_handle[ipi_idx]); in xen_pv_lapic_ipi_vectored()200 xen_intr_signal(ipi_handle[ipi_idx]); in xen_pv_lapic_ipi_vectored()207 xen_intr_signal(ipi_handle[ipi_idx]); in xen_pv_lapic_ipi_vectored()