Constant sgx_libc::PROT_READ

pub const PROT_READ: i32 = 1;