Index: kernel/generic/include/synch/mutex.h
===================================================================
--- kernel/generic/include/synch/mutex.h	(revision 5df79286ec53ba587ac1719375829cb7f78acfe9)
+++ kernel/generic/include/synch/mutex.h	(revision d7da428424c0f1c2c3f084c6836535553e191008)
@@ -60,4 +60,5 @@
 
 extern void mutex_initialize(mutex_t *, mutex_type_t);
+extern bool mutex_locked(mutex_t *);
 extern int _mutex_lock_timeout(mutex_t *, uint32_t, unsigned int);
 extern void mutex_unlock(mutex_t *);