esp_idf_sys

Constant CONFIG_FREERTOS_CHECK_MUTEX_GIVEN_BY_OWNER

Source 
pub const CONFIG_FREERTOS_CHECK_MUTEX_GIVEN_BY_OWNER: u32 = 1;