esp_idf_sys

Constant PTHREAD_MUTEX_NORMAL

Source 
pub const PTHREAD_MUTEX_NORMAL: u32 = 0;