Searched refs:ipi_intr_t (Results 1 – 1 of 1) sorted by relevance
62 } ipi_intr_t; typedef65 static ipi_intr_t ipi_intrs[IPI_MAXREG] __cacheline_aligned;307 ipi_intr_t *ipi_hdl = &ipi_intrs[ipi_id]; in ipi_cpu_handler()