Constant PAGE_ENCLAVE_NO_CHANGE 

pub const PAGE_ENCLAVE_NO_CHANGE: u32 = 536870912u32;