Constant __PTHREAD_RWLOCK_SIZE__ 

pub const __PTHREAD_RWLOCK_SIZE__: u32 = 192;