|
@@ -168,8 +168,8 @@ void kvm_inject_dabt(struct kvm_vcpu *vcpu, unsigned long addr)
|
|
|
{
|
|
|
if (!(vcpu->arch.hcr_el2 & HCR_RW))
|
|
|
inject_abt32(vcpu, false, addr);
|
|
|
-
|
|
|
- inject_abt64(vcpu, false, addr);
|
|
|
+ else
|
|
|
+ inject_abt64(vcpu, false, addr);
|
|
|
}
|
|
|
|
|
|
/**
|
|
@@ -184,8 +184,8 @@ void kvm_inject_pabt(struct kvm_vcpu *vcpu, unsigned long addr)
|
|
|
{
|
|
|
if (!(vcpu->arch.hcr_el2 & HCR_RW))
|
|
|
inject_abt32(vcpu, true, addr);
|
|
|
-
|
|
|
- inject_abt64(vcpu, true, addr);
|
|
|
+ else
|
|
|
+ inject_abt64(vcpu, true, addr);
|
|
|
}
|
|
|
|
|
|
/**
|
|
@@ -198,6 +198,6 @@ void kvm_inject_undefined(struct kvm_vcpu *vcpu)
|
|
|
{
|
|
|
if (!(vcpu->arch.hcr_el2 & HCR_RW))
|
|
|
inject_undef32(vcpu);
|
|
|
-
|
|
|
- inject_undef64(vcpu);
|
|
|
+ else
|
|
|
+ inject_undef64(vcpu);
|
|
|
}
|