Constant sgx_libc::EBADF

pub const EBADF: int32_t = 9;