ipi_intr_t
ipi_intr_t *ipi_hdl = &ipi_intrs[ipi_id];
static ipi_intr_t ipi_intrs[IPI_MAXREG] __cacheline_aligned;