console: rename do_vtxprintf to do_printk_va_list and use it

The name is more consistent with what we have elsewhere,
and the callsite didn't build at all (with vboot enabled)

Change-Id: I3576f3b8f737d360f68b67b6ce1683199948776d
Signed-off-by: Aaron Durbin <adurbin@chromium.org>
Signed-off-by: Patrick Georgi <pgeorgi@chromium.org>
Reviewed-on: http://review.coreboot.org/10096
Tested-by: build bot (Jenkins)
This commit is contained in:
Aaron Durbin
2015-05-01 16:48:54 -05:00
committed by Patrick Georgi
parent ed98eeea84
commit 8fb36c07ac
3 changed files with 6 additions and 4 deletions

View File

@ -80,9 +80,9 @@ static inline void do_putchar(unsigned char byte) {}
/* FIXME: Collision of varargs with AMD headers without guard. */
#include <console/vtxprintf.h>
#if __CONSOLE_ENABLE__
void do_vtxprintf(const char *fmt, va_list args);
void do_printk_va_list(int msg_level, const char *fmt, va_list args);
#else
static inline void do_vtxprintf(const char *fmt, va_list args) {};
static inline void do_printk_va_list(int l, const char *fmt, va_list args) {}
#endif
#endif