LPI_RANGE 125 drivers/irqchip/irq-gic-v3.c return LPI_RANGE; LPI_RANGE 1263 drivers/irqchip/irq-gic-v3.c case LPI_RANGE: