Changes in kernel/generic/src/printf/vprintf.c [90c8b8d:da1bafb] in mainline

File:

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

kernel/generic/src/printf/vprintf.c

@@ -38 +38 @@
 #include <synch/spinlock.h>
 #include <arch/asm.h>
-#include <arch/types.h>
 #include <typedefs.h>
-#include <string.h>
+#include <typedefs.h>
+#include <str.h>
 
-SPINLOCK_STATIC_INITIALIZE_NAME(printf_lock, "*printf_lock");
+IRQ_SPINLOCK_STATIC_INITIALIZE_NAME(printf_lock, "*printf_lock");
 
 static int vprintf_str_write(const char *str, size_t size, void *data)
@@ -93 +93 @@
         };
         
-        ipl_t ipl = interrupts_disable();
-        spinlock_lock(&printf_lock);
-        
+        irq_spinlock_lock(&printf_lock, true);
         int ret = printf_core(fmt, &ps, ap);
-        
-        spinlock_unlock(&printf_lock);
-        interrupts_restore(ipl);
+        irq_spinlock_unlock(&printf_lock, true);
         
         return ret;