domU_write_console
.put_chars = domU_write_console,
if (domU_write_console(0, "(early) ", 8) < 0)
domU_write_console(0, string+off, linelen);
domU_write_console(0, "\r\n", 2);
domU_write_console(0, string+off, len-off);