Index: kernel/generic/src/printf/vprintf.c
===================================================================
--- kernel/generic/src/printf/vprintf.c	(revision 1724745fc31c34fa9d40d58281bd14ff7510fd83)
+++ kernel/generic/src/printf/vprintf.c	(revision a1f48f6d73bf4ec2afbde3a3ac7e9be6a34e0f78)
@@ -42,5 +42,5 @@
 #include <string.h>
 
-SPINLOCK_INITIALIZE(printf_lock);  /**< vprintf spinlock */
+SPINLOCK_STATIC_INITIALIZE_NAME(printf_lock, "*printf_lock");
 
 static int vprintf_str_write(const char *str, size_t size, void *data)