[][src]Constant ejdb_sys::__PTHREAD_MUTEX_HAVE_PREV

pub const __PTHREAD_MUTEX_HAVE_PREV: u32