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    81 arch/x86/kvm/paging_tmpl.h static gfn_t gpte_to_gfn_pde(pt_element_t gpte)
gpte_to_gfn_pde   513 arch/x86/kvm/paging_tmpl.h #undef gpte_to_gfn_pde