Index: kernel/generic/include/log.h
===================================================================
--- kernel/generic/include/log.h	(revision b7fd2a02e4161f4edd38548e7f8456b8021549be)
+++ kernel/generic/include/log.h	(revision 3e6ff9a5d49f640854fbd4c5b5c21e928a71bc1d)
@@ -48,7 +48,7 @@
 extern int log_vprintf(const char *, va_list);
 extern int log_printf(const char *, ...)
-    PRINTF_ATTRIBUTE(1, 2);
+    _HELENOS_PRINTF_ATTRIBUTE(1, 2);
 extern int log(log_facility_t, log_level_t, const char *, ...)
-    PRINTF_ATTRIBUTE(3, 4);
+    _HELENOS_PRINTF_ATTRIBUTE(3, 4);
 
 extern sys_errno_t sys_klog(sysarg_t, void *buf, size_t size,