Constant PAGE_ENCLAVE_THREAD_CONTROL

pub const PAGE_ENCLAVE_THREAD_CONTROL: u32 = 2147483648;