VGIC_NR_SGIS
} else if (irq_num < VGIC_NR_SGIS ||
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 VGIC_NR_PRIVATE_IRQS (VGIC_NR_SGIS + VGIC_NR_PPIS)
__ret = (i) < VGIC_NR_SGIS; \
__ret = (i) >= VGIC_NR_SGIS; \