Changes in kernel/generic/src/printf/vprintf.c [712c4ba:da1bafb] in mainline

File:

• kernel/generic/src/printf/vprintf.c (modified) (2 diffs)

kernel/generic/src/printf/vprintf.c

@@ -41 +41 @@
 #include <typedefs.h>
 #include <str.h>
+
+IRQ_SPINLOCK_STATIC_INITIALIZE_NAME(printf_lock, "*printf_lock");
 
 static int vprintf_str_write(const char *str, size_t size, void *data)
@@ -91 +93 @@
         };
         
-        return printf_core(fmt, &ps, ap);
+        irq_spinlock_lock(&printf_lock, true);
+        int ret = printf_core(fmt, &ps, ap);
+        irq_spinlock_unlock(&printf_lock, true);
+        
+        return ret;
 }