|
@@ -53,7 +53,7 @@ static int handle_hvc(struct kvm_vcpu *vcpu, struct kvm_run *run)
|
|
|
|
|
|
ret = kvm_psci_call(vcpu);
|
|
|
if (ret < 0) {
|
|
|
- kvm_inject_undefined(vcpu);
|
|
|
+ vcpu_set_reg(vcpu, 0, ~0UL);
|
|
|
return 1;
|
|
|
}
|
|
|
|
|
@@ -62,7 +62,7 @@ static int handle_hvc(struct kvm_vcpu *vcpu, struct kvm_run *run)
|
|
|
|
|
|
static int handle_smc(struct kvm_vcpu *vcpu, struct kvm_run *run)
|
|
|
{
|
|
|
- kvm_inject_undefined(vcpu);
|
|
|
+ vcpu_set_reg(vcpu, 0, ~0UL);
|
|
|
return 1;
|
|
|
}
|
|
|
|