kvm_inject_nested_sync
int kvm_inject_nested_sync(struct kvm_vcpu *vcpu, u64 esr_el2);
kvm_inject_nested_sync(vcpu, esr);
kvm_inject_nested_sync(vcpu, kvm_vcpu_get_esr(vcpu));
kvm_inject_nested_sync(vcpu, kvm_vcpu_get_esr(vcpu));
kvm_inject_nested_sync(vcpu, esr);
return kvm_inject_nested_sync(vcpu, esr);
return kvm_inject_nested_sync(vcpu, kvm_vcpu_get_esr(vcpu));
return kvm_inject_nested_sync(vcpu, kvm_vcpu_get_esr(vcpu));
return kvm_inject_nested_sync(vcpu, kvm_vcpu_get_esr(vcpu));
kvm_inject_nested_sync(vcpu, kvm_vcpu_get_esr(vcpu));
kvm_inject_nested_sync(vcpu, kvm_vcpu_get_esr(vcpu));
kvm_inject_nested_sync(vcpu, kvm_vcpu_get_esr(vcpu));
kvm_inject_nested_sync(vcpu, esr);
kvm_inject_nested_sync(vcpu, kvm_vcpu_get_esr(vcpu));
return kvm_inject_nested_sync(vcpu, esr);
kvm_inject_nested_sync(vcpu, esr);
kvm_inject_nested_sync(vcpu, esr);
return kvm_inject_nested_sync(vcpu, esr_el2);