Constant __PTHREAD_MUTEX_HAVE_PREV 

pub const __PTHREAD_MUTEX_HAVE_PREV: i32 = 1;