max_lr_idx 412 virt/kvm/arm/hyp/vgic-v3-sr.c int max_lr_idx = vtr_to_max_lr_idx(read_gicreg(ICH_VTR_EL2)); max_lr_idx 415 virt/kvm/arm/hyp/vgic-v3-sr.c for (i = 0; i <= max_lr_idx; i++)