diff options
Diffstat (limited to 'src/console')
-rw-r--r-- | src/console/printk.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/console/printk.c b/src/console/printk.c index fb1194e828..c61f63e6a6 100644 --- a/src/console/printk.c +++ b/src/console/printk.c @@ -40,3 +40,11 @@ int do_printk(int msg_level, const char *fmt, ...) return i; } + +#if CONFIG_CHROMEOS +void do_vtxprintf(const char *fmt, va_list args) +{ + vtxprintf(console_tx_byte, fmt, args); + console_tx_flush(); +} +#endif |