Index: kernel/generic/include/synch/mutex.h
===================================================================
--- kernel/generic/include/synch/mutex.h	(revision 76e17d7c924f512115312602d253baaf3ea42806)
+++ kernel/generic/include/synch/mutex.h	(revision 3acb63b555e98b449accd3797d713fed52137860)
@@ -56,4 +56,14 @@
 } mutex_t;
 
+#define MUTEX_INITIALIZER(name, mtype) (mutex_t) { \
+	.type = (mtype), \
+	.sem = SEMAPHORE_INITIALIZER((name).sem, 1), \
+	.owner = NULL, \
+	.nesting = 0, \
+}
+
+#define MUTEX_INITIALIZE(name, mtype) \
+	mutex_t name = MUTEX_INITIALIZER(name, mtype)
+
 extern void mutex_initialize(mutex_t *, mutex_type_t);
 extern bool mutex_locked(mutex_t *);