diff options
| -rw-r--r-- | src/include/console/console.h | 4 |
1 files changed, 3 insertions, 1 deletions
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; } |