Index: kernel/generic/include/print.h
===================================================================
--- kernel/generic/include/print.h	(revision 3ce7f082ff5b6347e9379564c41ac66808180ade)
+++ kernel/generic/include/print.h	(revision 2a98e584c41f86d1802d062b56836bf310529c13)
@@ -41,5 +41,5 @@
 
 /* We need this address in spinlock to avoid deadlock in deadlock detection */
-SPINLOCK_EXTERN(printflock);
+SPINLOCK_EXTERN(printf_lock);
 
 #define EOF (-1)
Index: kernel/generic/include/printf/printf_core.h
===================================================================
--- kernel/generic/include/printf/printf_core.h	(revision 3ce7f082ff5b6347e9379564c41ac66808180ade)
+++ kernel/generic/include/printf/printf_core.h	(revision 2a98e584c41f86d1802d062b56836bf310529c13)
@@ -48,5 +48,5 @@
 };
 
-int printf_core(const char *fmt, struct printf_spec *ps ,va_list ap);
+int printf_core(const char *fmt, struct printf_spec *ps, va_list ap);
 
 #endif