pub const configCHECK_MUTEX_GIVEN_BY_OWNER: u32 = 1;