Symbol: PPI_RANGE
drivers/irqchip/irq-gic-v3.c
247
PPI_RANGE,
tools/testing/selftests/kvm/lib/arm64/gic_v3.c
36
PPI_RANGE,