esp_idf_svc::sys

Constant configCHECK_MUTEX_GIVEN_BY_OWNER

Source 
pub const configCHECK_MUTEX_GIVEN_BY_OWNER: u32 = 1; // 1u32