Constant PAGE_ENCLAVE_SS_REST

pub const PAGE_ENCLAVE_SS_REST: u32 = 268435458;