#include <console/console.h>

int mrc_printk(const char *fmt, ...);

int mrc_printk(const char *fmt, ...)
{
	va_list args;
	va_start(args, fmt);
	int i = do_vprintk(0, fmt, args);
	va_end(args);
	return i;
}