Constant sgx_libc::EFAULT

pub const EFAULT: i32 = 14;