Changes in kernel/generic/include/print.h [09d13c8e:83dab11] in mainline

File:

• kernel/generic/include/print.h (modified) (1 diff)

kernel/generic/include/print.h

@@ -44 +44 @@
 extern int puts(const char *s);
 extern int printf(const char *fmt, ...)
-    _HELENOS_PRINTF_ATTRIBUTE(1, 2);
+    PRINTF_ATTRIBUTE(1, 2);
 extern int snprintf(char *str, size_t size, const char *fmt, ...)
-    _HELENOS_PRINTF_ATTRIBUTE(3, 4);
+    PRINTF_ATTRIBUTE(3, 4);
 
 extern int vprintf(const char *fmt, va_list ap);