Constant sgx_libc::ESRCH

pub const ESRCH: i32 = 3;