+ char *s;
+ va_list va;
+
+ va_start(va, fmt);
+ vsnprintf(logents[prodptr], 40, fmt, va);
+ s = logents[prodptr];
+ while (*s)
+ serial_tx(*(s++));
+ serial_tx('\r');
+ serial_tx('\n');
+ va_end(va);
+ prodptr = (prodptr + 1) % LOGLEN;
+ if (flush_imm)
+ outlog();