Constant PAGE_ENCLAVE_MASK

pub const PAGE_ENCLAVE_MASK: u32 = 268435456;