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);