Index: uspace/dist/src/c/demos/top/screen.h
===================================================================
--- uspace/dist/src/c/demos/top/screen.h	(revision a53ed3a8097360ccf174e8d94fb407db919eb66a)
+++ uspace/dist/src/c/demos/top/screen.h	(revision d8023313b00bbb8e958c404ffdc81f4bf36d7f00)
@@ -45,5 +45,5 @@
 extern void print_data(data_t *);
 extern void show_warning(const char *, ...)
-    PRINTF_ATTRIBUTE(1, 2);
+    _HELENOS_PRINTF_ATTRIBUTE(1, 2);
 
 extern errno_t tgetchar(unsigned int);