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 bc1b297f15cd810ce68ce27f528b9e97ba351a1a)
@@ -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);