int kputchar(int c) { kputbuf[kcount++] = c; if (kcount == KPBUFSZ || c == '\n') kflush(); return c; }
void kprintf_end(void) { kflush(); }