Constant esp_idf_sys::PTHREAD_MUTEX_DEFAULT

pub const PTHREAD_MUTEX_DEFAULT: u32 = 3;