diff options
Diffstat (limited to 'src/console/vtxprintf.c')
| -rw-r--r-- | src/console/vtxprintf.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/console/vtxprintf.c b/src/console/vtxprintf.c index 405302311d..a370e5f21d 100644 --- a/src/console/vtxprintf.c +++ b/src/console/vtxprintf.c @@ -6,6 +6,7 @@ #include <string.h> #include <div64.h> +#include <console/console.h> #include <console/vtxprintf.h> /* haha, don't need ctype.c */ @@ -115,6 +116,11 @@ int vtxprintf(void (*tx_byte)(unsigned char byte), const char *fmt, va_list args int count; +#if defined(__SMM__) && CONFIG_SMM_TSEG + /* Fix pointer in TSEG */ + tx_byte = console_tx_byte; +#endif + for (count=0; *fmt ; ++fmt) { if (*fmt != '%') { tx_byte(*fmt), count++; |