[][src]Constant hts_sys::__PTHREAD_MUTEX_NUSERS_AFTER_KIND

pub const __PTHREAD_MUTEX_NUSERS_AFTER_KIND: u32 = 0;