Index: kernel/generic/include/synch/mutex.h
===================================================================
--- kernel/generic/include/synch/mutex.h	(revision da1bafb8cf9a3b3be8ef21bc114daaa476a85190)
+++ kernel/generic/include/synch/mutex.h	(revision 377cce891a2528771a2913795413e5ee00e7911d)
@@ -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 *);