diff --git a/src/include/console/console.h b/src/include/console/console.h
index d06b5b36fa..fa61e9100a 100644
--- a/src/include/console/console.h
+++ b/src/include/console/console.h
@@ -64,7 +64,9 @@ enum { CONSOLE_LOG_NONE = 0, CONSOLE_LOG_FAST, CONSOLE_LOG_ALL };
 #else
 static inline void console_init(void) {}
 static inline int console_log_level(int msg_level) { return 0; }
-static inline void printk(int LEVEL, const char *fmt, ...) {}
+static inline void
+	__attribute__((format(printf, 2, 3)))
+	printk(int LEVEL, const char *fmt, ...) {}
 static inline void vprintk(int LEVEL, const char *fmt, va_list args) {}
 static inline void do_putchar(unsigned char byte) {}
 static inline long console_time_get_and_reset(void) { return 0; }