gpte_to_gfn_lvl    77 arch/x86/kvm/paging_tmpl.h #define gpte_to_gfn_lvl FNAME(gpte_to_gfn_lvl)
gpte_to_gfn_lvl    78 arch/x86/kvm/paging_tmpl.h #define gpte_to_gfn(pte) gpte_to_gfn_lvl((pte), PT_PAGE_TABLE_LEVEL)
gpte_to_gfn_lvl   421 arch/x86/kvm/paging_tmpl.h 	gfn = gpte_to_gfn_lvl(pte, walker->level);