Index: boot/generic/include/printf_verify.h
===================================================================
--- boot/generic/include/printf_verify.h	(revision c8c418cfd8936e2c483dab085f167f7c507ef53b)
+++ boot/generic/include/printf_verify.h	(revision 7afd12e59e45e559e134debe6fb7c76fc0d808de)
@@ -33,14 +33,11 @@
 #define BOOT_PRINTF_VERIFY_H_
 
-#ifndef _HELENOS_NVERIFY_PRINTF
-
+#ifdef __clang__
+#define _HELENOS_PRINTF_ATTRIBUTE(start, end) \
+	__attribute__((format(__printf__, start, end)))
+#else
 #define _HELENOS_PRINTF_ATTRIBUTE(start, end) \
 	__attribute__((format(gnu_printf, start, end)))
-
-#else /* _HELENOS_NVERIFY_PRINTF */
-
-#define _HELENOS_PRINTF_ATTRIBUTE(start, end)
-
-#endif /* _HELENOS_NVERIFY_PRINTF */
+#endif
 
 #endif
Index: kernel/generic/include/printf/verify.h
===================================================================
--- kernel/generic/include/printf/verify.h	(revision c8c418cfd8936e2c483dab085f167f7c507ef53b)
+++ kernel/generic/include/printf/verify.h	(revision 7afd12e59e45e559e134debe6fb7c76fc0d808de)
@@ -36,6 +36,4 @@
 #define KERN_PRINTF_VERIFY_H_
 
-#ifndef _HELENOS_NVERIFY_PRINTF
-
 #ifdef __clang__
 #define _HELENOS_PRINTF_ATTRIBUTE(start, end) \
@@ -46,11 +44,4 @@
 #endif
 
-
-#else /* _HELENOS_NVERIFY_PRINTF */
-
-#define _HELENOS_PRINTF_ATTRIBUTE(start, end)
-
-#endif /* _HELENOS_NVERIFY_PRINTF */
-
 #endif
 
Index: kernel/test/print/print5.c
===================================================================
--- kernel/test/print/print5.c	(revision c8c418cfd8936e2c483dab085f167f7c507ef53b)
+++ kernel/test/print/print5.c	(revision 7afd12e59e45e559e134debe6fb7c76fc0d808de)
@@ -37,5 +37,5 @@
  *
  */
-#define _HELENOS_NVERIFY_PRINTF
+#pragma GCC diagnostic ignored "-Wformat"
 
 #include <print.h>
Index: uspace/lib/c/include/io/verify.h
===================================================================
--- uspace/lib/c/include/io/verify.h	(revision c8c418cfd8936e2c483dab085f167f7c507ef53b)
+++ uspace/lib/c/include/io/verify.h	(revision 7afd12e59e45e559e134debe6fb7c76fc0d808de)
@@ -36,6 +36,4 @@
 #define LIBC_IO_VERIFY_H_
 
-#ifndef _HELENOS_NVERIFY_PRINTF
-
 #ifdef __clang__
 #define _HELENOS_PRINTF_ATTRIBUTE(start, end) \
@@ -46,10 +44,4 @@
 #endif
 
-#else /* _HELENOS_NVERIFY_PRINTF */
-
-#define _HELENOS_PRINTF_ATTRIBUTE(start, end)
-
-#endif /* _HELENOS_NVERIFY_PRINTF */
-
 #endif