+
+ s = ent->time / 1000;
+ ms = ent->time % 1000;
+ buf = flipbuf_flip(&fmtbuf);
+ sz = ksnprintf(buf, MAX_BUFSZ_HLF,
+ "[%04d.%03d] %s", s, ms, ent->content);
+
+ sysconsole->ops.write(sysconsole, buf, 0, sz);
+}
+
+static inline void
+kprintf_put(int level, const char* buf, size_t sz)
+{
+ __put_console(kprec_put(&kprecs, level, buf, sz));