From 5ca82a94674c56abc29f29f7be7d5f600f587712 Mon Sep 17 00:00:00 2001
From: graham sanderson <graham.sanderson@raspberrypi.com>
Date: Sun, 31 Jan 2021 16:38:38 -0600
Subject: [PATCH] fixup debug build

---
 src/common/pico_sync/mutex.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/common/pico_sync/mutex.c b/src/common/pico_sync/mutex.c
index 762a54d..531666f 100644
--- a/src/common/pico_sync/mutex.c
+++ b/src/common/pico_sync/mutex.c
@@ -72,7 +72,7 @@ bool __time_critical_func(mutex_enter_block_until)(mutex_t *mtx, absolute_time_t
 
 void __time_critical_func(mutex_exit)(mutex_t *mtx) {
     uint32_t save = spin_lock_blocking(mtx->core.spin_lock);
-    assert(mtx->owned);
+    assert(mtx->owner >= 0);
     mtx->owner = -1;
     __sev();
     spin_unlock(mtx->core.spin_lock, save);