paging_tmpl.h File Reference

Go to the source code of this file.

Data Structures
struct	guest_walker

Macros
#define	gpte_to_gfn_lvl   FNAME(gpte_to_gfn_lvl)
#define	gpte_to_gfn(pte)   gpte_to_gfn_lvl((pte), PT_PAGE_TABLE_LEVEL)

Macro Definition Documentation

#define gpte_to_gfn

(

pte

)

gpte_to_gfn_lvl((pte), PT_PAGE_TABLE_LEVEL)

Definition at line 58 of file paging_tmpl.h.

#define gpte_to_gfn_lvl   FNAME(gpte_to_gfn_lvl)

Definition at line 57 of file paging_tmpl.h.