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