Constant sgx_libc::EBADRQC

pub const EBADRQC: i32 = 56;