|
@@ -143,7 +143,7 @@ void __hyp_text __vgic_v3_save_state(struct kvm_vcpu *vcpu)
|
|
val = read_gicreg(ICH_VTR_EL2);
|
|
val = read_gicreg(ICH_VTR_EL2);
|
|
nr_pri_bits = vtr_to_nr_pri_bits(val);
|
|
nr_pri_bits = vtr_to_nr_pri_bits(val);
|
|
|
|
|
|
- for (i = 0; i <= used_lrs; i++) {
|
|
|
|
|
|
+ for (i = 0; i < used_lrs; i++) {
|
|
if (cpu_if->vgic_elrsr & (1 << i))
|
|
if (cpu_if->vgic_elrsr & (1 << i))
|
|
cpu_if->vgic_lr[i] &= ~ICH_LR_STATE;
|
|
cpu_if->vgic_lr[i] &= ~ICH_LR_STATE;
|
|
else
|
|
else
|