Index: uspace/app/bdsh/errors.h
===================================================================
--- uspace/app/bdsh/errors.h	(revision dd133498180af40b7b8f6a78e32761ec7fc14d3c)
+++ uspace/app/bdsh/errors.h	(revision 1ef7fb215ee45df6b8e9f13626816ec12980ea79)
@@ -30,4 +30,6 @@
 #define ERRORS_H
 
+#include <io/verify.h>
+
 /* Various error levels */
 #define CL_EFATAL  -1
@@ -46,5 +48,6 @@
 extern volatile int cli_errno;
 
-extern void cli_error(int, const char *, ...);
+extern void cli_error(int, const char *, ...)
+    PRINTF_ATTRIBUTE(2, 3);
 
 #endif
Index: uspace/app/top/screen.h
===================================================================
--- uspace/app/top/screen.h	(revision dd133498180af40b7b8f6a78e32761ec7fc14d3c)
+++ uspace/app/top/screen.h	(revision 1ef7fb215ee45df6b8e9f13626816ec12980ea79)
@@ -36,4 +36,5 @@
 
 #include <io/console.h>
+#include <io/verify.h>
 #include "top.h"
 
@@ -43,5 +44,6 @@
 extern void screen_done(void);
 extern void print_data(data_t *);
-extern void show_warning(const char *, ...);
+extern void show_warning(const char *, ...)
+    PRINTF_ATTRIBUTE(1, 2);
 
 extern int tgetchar(unsigned int);