Index: kernel/generic/include/print.h
===================================================================
--- kernel/generic/include/print.h	(revision 83dab11c929c1a48613d4dc70ed8ca9113463484)
+++ kernel/generic/include/print.h	(revision 73a5857016948b0a6daad123e7cef8b6e4a8ebe7)
@@ -44,7 +44,7 @@
 extern int puts(const char *s);
 extern int printf(const char *fmt, ...)
-    PRINTF_ATTRIBUTE(1, 2);
+    _HELENOS_PRINTF_ATTRIBUTE(1, 2);
 extern int snprintf(char *str, size_t size, const char *fmt, ...)
-    PRINTF_ATTRIBUTE(3, 4);
+    _HELENOS_PRINTF_ATTRIBUTE(3, 4);
 
 extern int vprintf(const char *fmt, va_list ap);