kvm_mmu_gva_to_gpa_system
gpa_t kvm_mmu_gva_to_gpa_system(struct kvm_vcpu *vcpu, gva_t gva,
gpa = kvm_mmu_gva_to_gpa_system(vcpu, vaddr, NULL);