GIC_LAST_PPI
else if (i <= GIC_LAST_PPI)
for (irq = GIC_FIRST_PPI; irq <= GIC_LAST_PPI; irq++)
} else if (irq <= GIC_LAST_PPI) {
if (irq > GIC_LAST_PPI) {
if (irq <= GIC_LAST_PPI) {
for (irq = GIC_FIRST_PPI; irq <= GIC_LAST_PPI; irq++) {
for (i = 0; i <= GIC_LAST_PPI; i += GICR_I_PER_IPRIORITYn) {
} else if (irq <= GIC_LAST_PPI) {
if (irq > GIC_LAST_PPI) {
if (irq <= GIC_LAST_PPI)
if (irq <= GIC_LAST_PPI) {
if (irq <= GIC_LAST_PPI) {
#define VGIC_PPI_NUM (GIC_LAST_PPI - GIC_FIRST_PPI + 1)