Constant sgx_libc::EBADR

pub const EBADR: i32 = 53;