Lines Matching refs:guest_l1e_t
72 typedef struct { guest_intpte_t l1; } guest_l1e_t; typedef
77 static inline gfn_t guest_l1e_get_gfn(guest_l1e_t gl1e) in guest_l1e_get_gfn()
82 static inline u32 guest_l1e_get_flags(guest_l1e_t gl1e) in guest_l1e_get_flags()
87 static inline u32 guest_l1e_get_pkey(guest_l1e_t gl1e) in guest_l1e_get_pkey()
92 static inline guest_l1e_t guest_l1e_from_gfn(gfn_t gfn, u32 flags) in guest_l1e_from_gfn()
93 { return (guest_l1e_t) { (gfn_x(gfn) << PAGE_SHIFT) | flags }; } in guest_l1e_from_gfn()
140 typedef l1_pgentry_t guest_l1e_t; typedef
150 static inline gfn_t guest_l1e_get_gfn(guest_l1e_t gl1e) in guest_l1e_get_gfn()
161 static inline u32 guest_l1e_get_flags(guest_l1e_t gl1e) in guest_l1e_get_flags()
172 static inline u32 guest_l1e_get_pkey(guest_l1e_t gl1e) in guest_l1e_get_pkey()
179 static inline guest_l1e_t guest_l1e_from_gfn(gfn_t gfn, u32 flags) in guest_l1e_from_gfn()
295 static inline bool guest_l1e_rsvd_bits(const struct vcpu *v, guest_l1e_t l1e) in guest_l1e_rsvd_bits()
350 guest_l1e_t l1e; /* Guest's level 1 entry (or fabrication). */