SPTE_TDP_AD_MASK
return (spte & SPTE_TDP_AD_MASK) != SPTE_TDP_AD_DISABLED;
return (spte & SPTE_TDP_AD_MASK) != SPTE_TDP_AD_ENABLED;
static_assert(!(SPTE_TDP_AD_MASK & SHADOW_ACC_TRACK_SAVED_MASK));
static_assert(!(EPT_SPTE_HOST_WRITABLE & SPTE_TDP_AD_MASK));
static_assert(!(EPT_SPTE_MMU_WRITABLE & SPTE_TDP_AD_MASK));