Constant sgx_libc::EBADSLT

pub const EBADSLT: int32_t = 57;