Constant sgx_libc::EFAULT

pub const EFAULT: int32_t = 14;