gpte_to_gfn_pde    59 arch/x86/kvm/paging_tmpl.h #define gpte_to_gfn_pde FNAME(gpte_to_gfn_pde)
gpte_to_gfn_pde   198 arch/x86/kvm/paging_tmpl.h 			walker->gfn = gpte_to_gfn_pde(pte);