sys/arm/arm/gic.c

1206

else if (i <= GIC_LAST_PPI)

sys/arm/arm/gic.c

238

for (irq = GIC_FIRST_PPI; irq <= GIC_LAST_PPI; irq++)

sys/arm/arm/gic.c

266

} else if (irq <= GIC_LAST_PPI) {

sys/arm/arm/gic.c

730

if (irq > GIC_LAST_PPI) {

sys/arm64/arm64/gic_v3.c

1017

if (irq <= GIC_LAST_PPI) {

sys/arm64/arm64/gic_v3.c

1136

for (irq = GIC_FIRST_PPI; irq <= GIC_LAST_PPI; irq++) {

sys/arm64/arm64/gic_v3.c

1504

for (i = 0; i <= GIC_LAST_PPI; i += GICR_I_PER_IPRIORITYn) {

sys/arm64/arm64/gic_v3.c

370

} else if (irq <= GIC_LAST_PPI) {

sys/arm64/arm64/gic_v3.c

693

if (irq > GIC_LAST_PPI) {

sys/arm64/arm64/gic_v3.c

874

if (irq <= GIC_LAST_PPI)

sys/arm64/arm64/gic_v3.c

884

if (irq <= GIC_LAST_PPI) {

sys/arm64/arm64/gic_v3.c

976

if (irq <= GIC_LAST_PPI) {

sys/arm64/vmm/io/vgic_v3.c

81

#define VGIC_PPI_NUM (GIC_LAST_PPI - GIC_FIRST_PPI + 1)