Constant PAGE_ENCLAVE_DECOMMIT 

pub const PAGE_ENCLAVE_DECOMMIT: u32 = 268435456;