|
@@ -41,6 +41,8 @@ void kvm_inject_pabt(struct kvm_vcpu *vcpu, unsigned long addr);
|
|
static inline void vcpu_reset_hcr(struct kvm_vcpu *vcpu)
|
|
static inline void vcpu_reset_hcr(struct kvm_vcpu *vcpu)
|
|
{
|
|
{
|
|
vcpu->arch.hcr_el2 = HCR_GUEST_FLAGS;
|
|
vcpu->arch.hcr_el2 = HCR_GUEST_FLAGS;
|
|
|
|
+ if (test_bit(KVM_ARM_VCPU_EL1_32BIT, vcpu->arch.features))
|
|
|
|
+ vcpu->arch.hcr_el2 &= ~HCR_RW;
|
|
}
|
|
}
|
|
|
|
|
|
static inline unsigned long *vcpu_pc(const struct kvm_vcpu *vcpu)
|
|
static inline unsigned long *vcpu_pc(const struct kvm_vcpu *vcpu)
|