__kvm_translate_va
int __kvm_translate_va(struct kvm_vcpu *vcpu, struct s1_walk_info *wi,
ret = __kvm_translate_va(vcpu, &vt->wi, &vt->wr, va);