Constant PAGE_ENCLAVE_UNVALIDATED

pub const PAGE_ENCLAVE_UNVALIDATED: u32 = 536870912;