diff options
Diffstat (limited to 'machine/mtrap.c')
-rw-r--r-- | machine/mtrap.c | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/machine/mtrap.c b/machine/mtrap.c index 62137ff..a72b373 100644 --- a/machine/mtrap.c +++ b/machine/mtrap.c @@ -42,16 +42,20 @@ void putstring(const char* s) mcall_console_putchar(*s++); } -void printm(const char* s, ...) +void vprintm(const char* s, va_list vl) { char buf[256]; + vsnprintf(buf, sizeof buf, s, vl); + putstring(buf); +} + +void printm(const char* s, ...) +{ va_list vl; va_start(vl, s); - vsnprintf(buf, sizeof buf, s, vl); + vprintm(s, vl); va_end(vl); - - putstring(buf); } static void send_ipi(uintptr_t recipient, int event) |