|
@@ -174,8 +174,6 @@ static void __hyp_text __vgic_save_state(struct kvm_vcpu *vcpu)
|
|
__vgic_v3_save_state(vcpu);
|
|
__vgic_v3_save_state(vcpu);
|
|
else
|
|
else
|
|
__vgic_v2_save_state(vcpu);
|
|
__vgic_v2_save_state(vcpu);
|
|
-
|
|
|
|
- write_sysreg(read_sysreg(hcr_el2) & ~HCR_INT_OVERRIDE, hcr_el2);
|
|
|
|
}
|
|
}
|
|
|
|
|
|
static void __hyp_text __vgic_restore_state(struct kvm_vcpu *vcpu)
|
|
static void __hyp_text __vgic_restore_state(struct kvm_vcpu *vcpu)
|
|
@@ -183,7 +181,6 @@ static void __hyp_text __vgic_restore_state(struct kvm_vcpu *vcpu)
|
|
u64 val;
|
|
u64 val;
|
|
|
|
|
|
val = read_sysreg(hcr_el2);
|
|
val = read_sysreg(hcr_el2);
|
|
- val |= HCR_INT_OVERRIDE;
|
|
|
|
val |= vcpu->arch.irq_lines;
|
|
val |= vcpu->arch.irq_lines;
|
|
write_sysreg(val, hcr_el2);
|
|
write_sysreg(val, hcr_el2);
|
|
|
|
|