Constant sgx_libc::_SC_AIO_PRIO_DELTA_MAX

pub const _SC_AIO_PRIO_DELTA_MAX: i32 = 25;