Constant PAGE_ENCLAVE_SS_REST 

pub const PAGE_ENCLAVE_SS_REST: u32 = 268435458;