kvm_mmu_gva_to_gpa_system 1448 arch/x86/include/asm/kvm_host.h gpa_t kvm_mmu_gva_to_gpa_system(struct kvm_vcpu *vcpu, gva_t gva, kvm_mmu_gva_to_gpa_system 9033 arch/x86/kvm/x86.c gpa = kvm_mmu_gva_to_gpa_system(vcpu, vaddr, NULL);