__putstr(tstr);
}
-static void vprintk_common(const char *prefix, const char *fmt, va_list args)
+static void vprintk_common(const char *fmt, va_list args, const char *prefix)
{
struct vps {
bool continued, do_print;
void vprintk(const char *fmt, va_list args)
{
- vprintk_common("(XEN) ", fmt, args);
+ vprintk_common(fmt, args, "(XEN) ");
}
void printk(const char *fmt, ...)
snprintf(prefix, sizeof(prefix), "(d%d) ", d->domain_id);
va_start(args, fmt);
- vprintk_common(prefix, fmt, args);
+ vprintk_common(fmt, args, prefix);
va_end(args);
}