pub const PAGE_ENCLAVE_UNVALIDATED: u32 = 536870912u32;