SPTE_TDP_AD_ENABLED
return (spte & SPTE_TDP_AD_MASK) != SPTE_TDP_AD_ENABLED;
static_assert(SPTE_TDP_AD_ENABLED == 0);