Index: kernel/generic/include/log.h
===================================================================
--- kernel/generic/include/log.h	(revision b7fd2a02e4161f4edd38548e7f8456b8021549be)
+++ kernel/generic/include/log.h	(revision 4e17d54b4419e0e016292f66bc09bd15538510a1)
@@ -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,