PPI_RANGE 117 drivers/irqchip/irq-gic-v3.c return PPI_RANGE; PPI_RANGE 144 drivers/irqchip/irq-gic-v3.c return range == PPI_RANGE || range == EPPI_RANGE; PPI_RANGE 150 drivers/irqchip/irq-gic-v3.c case PPI_RANGE: PPI_RANGE 246 drivers/irqchip/irq-gic-v3.c case PPI_RANGE: PPI_RANGE 428 drivers/irqchip/irq-gic-v3.c case PPI_RANGE: PPI_RANGE 554 drivers/irqchip/irq-gic-v3.c if (ret && (range == PPI_RANGE || range == EPPI_RANGE)) { PPI_RANGE 1247 drivers/irqchip/irq-gic-v3.c case PPI_RANGE: