211 	u64 used_lrs = vcpu->arch.vgic_cpu.used_lrs;  in __vgic_v3_save_state()  local
218 	if (used_lrs || !has_vhe()) {  in __vgic_v3_save_state()
225 	if (used_lrs) {  in __vgic_v3_save_state()
233 		for (i = 0; i < used_lrs; i++) {  in __vgic_v3_save_state()
247 	u64 used_lrs = vcpu->arch.vgic_cpu.used_lrs;  in __vgic_v3_restore_state()  local
250 	if (used_lrs) {  in __vgic_v3_restore_state()
253 		for (i = 0; i < used_lrs; i++)  in __vgic_v3_restore_state()
263 	if (used_lrs || !has_vhe()) {  in __vgic_v3_restore_state()
459 	unsigned int used_lrs = vcpu->arch.vgic_cpu.used_lrs;  in __vgic_v3_highest_priority_lr()  local
463 	for (i = 0; i < used_lrs; i++) {  in __vgic_v3_highest_priority_lr()
498 	unsigned int used_lrs = vcpu->arch.vgic_cpu.used_lrs;  in __vgic_v3_find_active_lr()  local
501 	for (i = 0; i < used_lrs; i++) {  in __vgic_v3_find_active_lr()