Constant PAGE_ENCLAVE_DECOMMIT

pub const PAGE_ENCLAVE_DECOMMIT: u32 = 268435456;