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);