VGIC_MAX_SPI       34 include/kvm/arm_vgic.h 			 (irq) <= VGIC_MAX_SPI)
VGIC_MAX_SPI      668 virt/kvm/arm/hyp/vgic-v3-sr.c 	if ((lr_val & ICH_LR_VIRTUAL_ID_MASK) <= VGIC_MAX_SPI)
VGIC_MAX_SPI      185 virt/kvm/arm/vgic/vgic-debug.c 	else if (irq->intid < VGIC_MAX_SPI)