kvm_arch_vcpu_ioctl_translate
int kvm_arch_vcpu_ioctl_translate(struct kvm_vcpu *vcpu,
r = kvm_arch_vcpu_ioctl_translate(vcpu, &tr);