VGIC_MAX_PRIVATE 94 virt/kvm/arm/vgic/vgic.c if (intid <= VGIC_MAX_PRIVATE) { VGIC_MAX_PRIVATE 95 virt/kvm/arm/vgic/vgic.c intid = array_index_nospec(intid, VGIC_MAX_PRIVATE + 1);