diff options
| author | Kyösti Mälkki <kyosti.malkki@gmail.com> | 2014-03-06 16:55:05 +0200 |
|---|---|---|
| committer | Patrick Georgi <patrick@georgi-clan.de> | 2014-04-09 13:21:13 +0200 |
| commit | b3356bbff42148094ada671d3a0a803f195542e6 (patch) | |
| tree | b5c143699b1df19da71775279f08f51c924f4a66 /src/console/printk.c | |
| parent | 56ae13983bae2ba4214dd635c46afad7e7bc50c1 (diff) | |
console: Add printk helper for ChromeOS
Do not expose console_tx_flush() to ChromeOS as that function
is part of lower-level implementation.
Change-Id: I1e31662da88a60e83f8e5d307a4b53441c130aab
Signed-off-by: Kyösti Mälkki <kyosti.malkki@gmail.com>
Reviewed-on: http://review.coreboot.org/5347
Tested-by: build bot (Jenkins)
Reviewed-by: Patrick Georgi <patrick@georgi-clan.de>
Diffstat (limited to 'src/console/printk.c')
| -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 |