Constant CONFIG_FREERTOS_CHECK_MUTEX_GIVEN_BY_OWNER 

pub const CONFIG_FREERTOS_CHECK_MUTEX_GIVEN_BY_OWNER: u32 = 1;