addr_arch_gva2gpa
vm_paddr_t addr_arch_gva2gpa(struct kvm_vm *vm, vm_vaddr_t gva);
return addr_arch_gva2gpa(vm, gva);