LPI_ITS_BASE
#define LPI_IS_IPI(lpi) ((lpi) < LPI_ITS_BASE)
MPASS(sc->gic_nlpis >= LPI_ITS_BASE);
return (sc->gic_nlpis - LPI_ITS_BASE);
*result = LPI_ITS_BASE + device_get_unit(dev) * nlpis;