Constant sgx_libc::EBADRQC

pub const EBADRQC: int32_t = 56;