+static inline void
+__put_console(const struct kp_entry* ent)
+{
+ char* buf;
+ time_t s, ms;
+ size_t sz;
+
+ if (unlikely(!sysconsole)) {
+ return;
+ }
+
+ 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));
+}
+