Constant PAGE_ENCLAVE_THREAD_CONTROL

pub const PAGE_ENCLAVE_THREAD_CONTROL: DWORD = 0x80000000;