diff --git a/sys/kern/kern_mutex.c b/sys/kern/kern_mutex.c
--- a/sys/kern/kern_mutex.c
+++ b/sys/kern/kern_mutex.c
@@ -280,6 +280,9 @@
 	struct mtx *m;
 	uintptr_t tid, v;
 
+	if (SCHEDULER_STOPPED())
+		return;
+
 	m = mtxlock2mtx(c);
 
 	KASSERT(kdb_active != 0 || SCHEDULER_STOPPED() ||
@@ -313,6 +316,9 @@
 {
 	struct mtx *m;
 
+	if (SCHEDULER_STOPPED())
+		return;
+
 	m = mtxlock2mtx(c);
 
 	KASSERT(m->mtx_lock != MTX_DESTROYED,
@@ -342,6 +348,9 @@
 	uintptr_t tid, v;
 #endif
 
+	if (SCHEDULER_STOPPED())
+		return;
+
 	m = mtxlock2mtx(c);
 
 	KASSERT(m->mtx_lock != MTX_DESTROYED,