VGIC_NR_SGIS
if (irq_num < VGIC_NR_SGIS || irq_num >= VGIC_NR_PRIVATE_IRQS)
if (irq->intid < VGIC_NR_SGIS)
if ((intid + i) < VGIC_NR_SGIS || (intid + i) >= nr_irqs)
if ((intid + i) < VGIC_NR_SGIS || (intid + i) >= nr_irqs)
if (val < VGIC_NR_SGIS && irq->active_source != cpuid) {
val < VGIC_NR_SGIS);
for (i = 0; i < VGIC_NR_SGIS; i++) {
for (i = 0; i < VGIC_NR_SGIS; i++) {
if (irq->intid < VGIC_NR_SGIS)
#define vgic_irq_is_sgi(intid) ((intid) < VGIC_NR_SGIS)
#define kvm_arm_pmu_irq_initialized(v) ((v)->arch.pmu.irq_num >= VGIC_NR_SGIS)
#define VGIC_NR_PRIVATE_IRQS (VGIC_NR_SGIS + VGIC_NR_PPIS)
#define irq_is_ppi(irq) ((irq) >= VGIC_NR_SGIS && (irq) < VGIC_NR_PRIVATE_IRQS)