sys/arm/arm/gic.c

1207

db_printf("PPI %2u ", i - GIC_FIRST_PPI);

sys/arm/arm/gic.c

238

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

sys/arm/arm/gic.c

268

INTR_ISRCF_PPI, "%s,p%u", name, irq - GIC_FIRST_PPI);

sys/arm/arm/gic.c

729

irq = GIC_FIRST_PPI + cells[1];

sys/arm64/arm64/gic_v3.c

1136

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

sys/arm64/arm64/gic_v3.c

372

INTR_ISRCF_PPI, "%s,p%u", name, irq - GIC_FIRST_PPI);

sys/arm64/arm64/gic_v3.c

646

} else if (active_irq >= GIC_FIRST_PPI &&

sys/arm64/arm64/gic_v3.c

692

irq = GIC_FIRST_PPI + cells[1];

sys/arm64/arm64/gic_v3.c

872

if (irq >= GIC_FIRST_PPI && irq <= GIC_LAST_SPI) {

sys/arm64/vmm/io/vgic_v3.c

81

#define VGIC_PPI_NUM (GIC_LAST_PPI - GIC_FIRST_PPI + 1)