LPI_IPI_BASE
sc->gic_ipi_irqs[ipi].gi_isrc.gbi_irq = ipi + LPI_IPI_BASE;
#define LPI_IPI_LIMIT (LPI_IPI_BASE + (mp_maxid + 1) * INTR_IPI_COUNT)
#define LPI_IPI_IDX(lpi) ((lpi) - LPI_IPI_BASE)
#define LPI_ITS_BASE (LPI_IPI_BASE + LPI_IPI_LIMIT)