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