Index: kernel/generic/include/print.h
===================================================================
--- kernel/generic/include/print.h	(revision d16fc78377f93b84ff62600fd378ab0e65c050b5)
+++ kernel/generic/include/print.h	(revision 8776c46e55af36d63be4369ca675764e996a105c)
@@ -38,15 +38,5 @@
 #include <typedefs.h>
 #include <stdarg.h>
-
-#ifndef NVERIFY_PRINTF
-
-#define PRINTF_ATTRIBUTE(start, end) \
-	__attribute__((format(gnu_printf, start, end)))
-
-#else /* NVERIFY_PRINTF */
-
-#define PRINTF_ATTRIBUTE(start, end)
-
-#endif /* NVERIFY_PRINTF */
+#include <printf/verify.h>
 
 #define EOF  (-1)