rsvd_bits_validate
struct rsvd_bits_validate shadow_zero_check;
struct rsvd_bits_validate guest_rsvd_check;
struct rsvd_bits_validate *rsvd_check;
static void __reset_rsvds_bits_mask(struct rsvd_bits_validate *rsvd_check,
static void __reset_rsvds_bits_mask_ept(struct rsvd_bits_validate *rsvd_check,
struct rsvd_bits_validate *shadow_zero_check;
struct rsvd_bits_validate *shadow_zero_check;
static bool FNAME(is_bad_mt_xwr)(struct rsvd_bits_validate *rsvd_check, u64 gpte)
static inline u64 get_rsvd_bits(struct rsvd_bits_validate *rsvd_check, u64 pte,
static inline bool __is_rsvd_bits_set(struct rsvd_bits_validate *rsvd_check,
static inline bool __is_bad_mt_xwr(struct rsvd_bits_validate *rsvd_check,
static __always_inline bool is_rsvd_spte(struct rsvd_bits_validate *rsvd_check,