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