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: