__PTHREAD_MUTEXATTR_SIZE__

Constant __PTHREAD_MUTEXATTR_SIZE__ 

Source
pub const __PTHREAD_MUTEXATTR_SIZE__: u32 = 8;