gpte_to_gfn        58 arch/x86/kvm/paging_tmpl.h #define gpte_to_gfn FNAME(gpte_to_gfn)
gpte_to_gfn        76 arch/x86/kvm/paging_tmpl.h static gfn_t gpte_to_gfn(pt_element_t gpte)
gpte_to_gfn       512 arch/x86/kvm/paging_tmpl.h #undef gpte_to_gfn