Lines Matching refs:ipi_handle
108 DPCPU_DEFINE(xen_intr_handle_t, ipi_handle[nitems(xen_ipis)]);
160 xen_intr_handle_t *ipi_handle; in xen_pv_lapic_ipi_vectored() local
186 ipi_handle = DPCPU_GET(ipi_handle); in xen_pv_lapic_ipi_vectored()
187 xen_intr_signal(ipi_handle[ipi_idx]); in xen_pv_lapic_ipi_vectored()
191 ipi_handle = DPCPU_ID_GET(to_cpu, ipi_handle); in xen_pv_lapic_ipi_vectored()
192 xen_intr_signal(ipi_handle[ipi_idx]); in xen_pv_lapic_ipi_vectored()
199 ipi_handle = DPCPU_ID_GET(to_cpu, ipi_handle); in xen_pv_lapic_ipi_vectored()
200 xen_intr_signal(ipi_handle[ipi_idx]); in xen_pv_lapic_ipi_vectored()
206 ipi_handle = DPCPU_ID_GET(to_cpu, ipi_handle); in xen_pv_lapic_ipi_vectored()
207 xen_intr_signal(ipi_handle[ipi_idx]); in xen_pv_lapic_ipi_vectored()
312 xen_intr_handle_t *ipi_handle; in xen_cpu_ipi_init() local
316 ipi_handle = DPCPU_ID_GET(cpu, ipi_handle); in xen_cpu_ipi_init()
320 ipi_handle[idx] = NULL; in xen_cpu_ipi_init()
325 INTR_TYPE_TTY, &ipi_handle[idx]); in xen_cpu_ipi_init()
328 xen_intr_describe(ipi_handle[idx], "%s", ipi->description); in xen_cpu_ipi_init()