Searched refs:ipi_handle (Results 1 – 1 of 1) sorted by relevance
307 xen_intr_handle_t *ipi_handle; in xen_pv_lapic_ipi_vectored() local321 ipi_handle = DPCPU_GET(ipi_handle); in xen_pv_lapic_ipi_vectored()322 xen_intr_signal(ipi_handle[ipi_idx]); in xen_pv_lapic_ipi_vectored()326 ipi_handle = DPCPU_ID_GET(to_cpu, ipi_handle); in xen_pv_lapic_ipi_vectored()334 ipi_handle = DPCPU_ID_GET(to_cpu, ipi_handle); in xen_pv_lapic_ipi_vectored()341 ipi_handle = DPCPU_ID_GET(to_cpu, ipi_handle); in xen_pv_lapic_ipi_vectored()342 xen_intr_signal(ipi_handle[ipi_idx]); in xen_pv_lapic_ipi_vectored()544 xen_intr_handle_t *ipi_handle; in xen_cpu_ipi_init() local548 ipi_handle = DPCPU_ID_GET(cpu, ipi_handle); in xen_cpu_ipi_init()552 ipi_handle[idx] = NULL; in xen_cpu_ipi_init()[all …]