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 *);
Index: kernel/generic/src/synch/mutex.c
===================================================================
--- kernel/generic/src/synch/mutex.c	(revision 5df79286ec53ba587ac1719375829cb7f78acfe9)
+++ kernel/generic/src/synch/mutex.c	(revision d7da428424c0f1c2c3f084c6836535553e191008)
@@ -53,4 +53,14 @@
 }
 
+/** Find out whether the mutex is currently locked.
+ *
+ * @param mtx		Mutex.
+ * @return 		True if the mutex is locked, false otherwise.
+ */
+bool mutex_locked(mutex_t *mtx)
+{
+	return semaphore_count_get(&mtx->sem) <= 0;
+}
+
 /** Acquire mutex.
  *