Constant PAGE_ENCLAVE_MASK 

pub const PAGE_ENCLAVE_MASK: u32 = 268435456;