Searched defs:ipi_handle (Results 1 – 1 of 1) sorted by relevance
307 xen_intr_handle_t *ipi_handle; in xen_pv_lapic_ipi_vectored() local544 xen_intr_handle_t *ipi_handle; in xen_cpu_ipi_init() local