Changes in kernel/generic/src/printf/vprintf.c [28a5ebd:90dd8aee] in mainline

File:

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

kernel/generic/src/printf/vprintf.c

@@ -33 +33 @@
  */
 
+#include <arch/asm.h>
+#include <console/console.h>
 #include <print.h>
 #include <printf/printf_core.h>
 #include <putchar.h>
+#include <str.h>
 #include <synch/spinlock.h>
-#include <arch/asm.h>
 #include <typedefs.h>
-#include <str.h>
 
 static int vprintf_str_write(const char *str, size_t size, void *data)
@@ -74 +75 @@
         char32_t uc;
 
+        console_lock();
+
         while ((uc = str_decode(str, &offset, STR_NO_LIMIT)) != 0) {
                 putuchar(uc);
@@ -80 +83 @@
 
         putuchar('\n');
+
+        console_unlock();
         return chars;
 }
@@ -91 +96 @@
         };
 
-        return printf_core(fmt, &ps, ap);
+        console_lock();
+        int ret = printf_core(fmt, &ps, ap);
+        console_unlock();
+        return ret;
 }