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