diff --git a/kernel/unified/mutex.c b/kernel/unified/mutex.c index be2c6154f3d..5e567ac74e7 100644 --- a/kernel/unified/mutex.c +++ b/kernel/unified/mutex.c @@ -214,6 +214,7 @@ void k_mutex_unlock(struct k_mutex *mutex) { int key; + __ASSERT(mutex->lock_count > 0, ""); __ASSERT(mutex->owner == _current, ""); k_sched_lock();