Changes in kernel/generic/src/printf/vprintf.c [da1bafb:712c4ba] 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)
@@ -93 +91 @@
         };
         
-        irq_spinlock_lock(&printf_lock, true);
-        int ret = printf_core(fmt, &ps, ap);
-        irq_spinlock_unlock(&printf_lock, true);
-        
-        return ret;
+        return printf_core(fmt, &ps, ap);
 }