EPT_SPTE_MMU_WRITABLE
shadow_mmu_writable_mask = EPT_SPTE_MMU_WRITABLE;
static_assert(!(EPT_SPTE_MMU_WRITABLE & SPTE_TDP_AD_MASK));
static_assert(!(EPT_SPTE_MMU_WRITABLE & SHADOW_ACC_TRACK_SAVED_MASK));