Constant sgx_types::SGX_PROT_READ

pub const SGX_PROT_READ: uint32_t = 0x1;