Lines Matching refs:guest_l2e_t
73 typedef struct { guest_intpte_t l2; } guest_l2e_t; typedef
79 static inline gfn_t guest_l2e_get_gfn(guest_l2e_t gl2e) in guest_l2e_get_gfn()
84 static inline u32 guest_l2e_get_flags(guest_l2e_t gl2e) in guest_l2e_get_flags()
89 static inline u32 guest_l2e_get_pkey(guest_l2e_t gl2e) in guest_l2e_get_pkey()
94 static inline guest_l2e_t guest_l2e_from_gfn(gfn_t gfn, u32 flags) in guest_l2e_from_gfn()
95 { return (guest_l2e_t) { (gfn_x(gfn) << PAGE_SHIFT) | flags }; } in guest_l2e_from_gfn()
141 typedef l2_pgentry_t guest_l2e_t; typedef
152 static inline gfn_t guest_l2e_get_gfn(guest_l2e_t gl2e) in guest_l2e_get_gfn()
163 static inline u32 guest_l2e_get_flags(guest_l2e_t gl2e) in guest_l2e_get_flags()
174 static inline u32 guest_l2e_get_pkey(guest_l2e_t gl2e) in guest_l2e_get_pkey()
181 static inline guest_l2e_t guest_l2e_from_gfn(gfn_t gfn, u32 flags) in guest_l2e_from_gfn()
300 static inline bool guest_l2e_rsvd_bits(const struct vcpu *v, guest_l2e_t l2e) in guest_l2e_rsvd_bits()
347 guest_l2e_t l2e; /* Guest's level 2 entry */