EPT_SPTE_HOST_WRITABLE
shadow_host_writable_mask = EPT_SPTE_HOST_WRITABLE;
static_assert(!(EPT_SPTE_HOST_WRITABLE & SPTE_TDP_AD_MASK));
static_assert(!(EPT_SPTE_HOST_WRITABLE & SHADOW_ACC_TRACK_SAVED_MASK));