Lines Matching refs:gl1e
77 static inline gfn_t guest_l1e_get_gfn(guest_l1e_t gl1e) in guest_l1e_get_gfn() argument
78 { return _gfn(gl1e.l1 >> PAGE_SHIFT); } in guest_l1e_get_gfn()
82 static inline u32 guest_l1e_get_flags(guest_l1e_t gl1e) in guest_l1e_get_flags() argument
83 { return gl1e.l1 & 0xfff; } in guest_l1e_get_flags()
87 static inline u32 guest_l1e_get_pkey(guest_l1e_t gl1e) in guest_l1e_get_pkey() argument
150 static inline gfn_t guest_l1e_get_gfn(guest_l1e_t gl1e) in guest_l1e_get_gfn() argument
151 { return _gfn(l1e_get_paddr(gl1e) >> PAGE_SHIFT); } in guest_l1e_get_gfn()
161 static inline u32 guest_l1e_get_flags(guest_l1e_t gl1e) in guest_l1e_get_flags() argument
162 { return l1e_get_flags(gl1e); } in guest_l1e_get_flags()
172 static inline u32 guest_l1e_get_pkey(guest_l1e_t gl1e) in guest_l1e_get_pkey() argument
173 { return l1e_get_pkey(gl1e); } in guest_l1e_get_pkey()