LPI_IPI_IDX
#define LPI_TO_IPI(lpi) (LPI_IPI_IDX(lpi) % INTR_IPI_COUNT)
KASSERT(LPI_IPI_IDX(irq) < LPI_IPI_LIMIT,