Changes in kernel/generic/src/printf/vprintf.c [90dd8aee:28a5ebd] 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 <synch/spinlock.h>
+#include <arch/asm.h>
+#include <typedefs.h>
 #include <str.h>
-#include <synch/spinlock.h>
-#include <typedefs.h>
 
 static int vprintf_str_write(const char *str, size_t size, void *data)
@@ -75 +74 @@
         char32_t uc;
 
-        console_lock();
-
         while ((uc = str_decode(str, &offset, STR_NO_LIMIT)) != 0) {
                 putuchar(uc);
@@ -83 +80 @@
 
         putuchar('\n');
-
-        console_unlock();
         return chars;
 }
@@ -96 +91 @@
         };
 
-        console_lock();
-        int ret = printf_core(fmt, &ps, ap);
-        console_unlock();
-        return ret;
+        return printf_core(fmt, &ps, ap);
 }