-int snprintf(char *, size_t, const char *, ...);
-int sprintf(char *bufp, const char *, ...);
-int sscanf(const char *, char const *, ...);
-void printf(const char *, ...);
+/* sprintf() is being deprecated. Please use snprintf() instead. */
+int sprintf(char *bufp, const char *, ...) __deprecated;
+int sscanf(const char *, char const *, ...) __scanflike(2,3);
+int printf(const char *, ...) __printflike(1,2);
+
+#if KERNEL_PRIVATE
+int _consume_printf_args(int, ...);
+#endif
+
+#if CONFIG_NO_PRINTF_STRINGS
+#if KERNEL_PRIVATE
+#define printf(x, ...) _consume_printf_args( 0, ## __VA_ARGS__ )
+#else
+#define printf(x, ...) do {} while (0)
+#endif
+#endif