diff options
| -rw-r--r-- | include/printk.h | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/include/printk.h b/include/printk.h index fb635868ab..22c6c732f7 100644 --- a/include/printk.h +++ b/include/printk.h @@ -21,11 +21,23 @@ /* debugging and troubleshooting/diagnostic helpers. */ +#ifndef CONFIG_CONSOLE_NONE int pr_print(int level, const char *format, ...) __attribute__ ((format(__printf__, 2, 3))); int dev_printf(int level, const struct device_d *dev, const char *format, ...) __attribute__ ((format(__printf__, 3, 4))); +#else +static inline int pr_print(int level, const char *format, ...) +{ + return 0; +} + +static inline int dev_printf(int level, const struct device_d *dev, const char *format, ...) +{ + return 0; +} +#endif #define __dev_printf(level, dev, format, args...) \ ({ \ |