Constant sgx_libc::EBADF

pub const EBADF: i32 = 9;