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)