Constant sgx_libc::EBADSLT

pub const EBADSLT: i32 = 57;