void kbdintr(void) { consoleintr(kbdgetc); }
void uartintr(void) { consoleintr(uartgetc); }
void kbdintr(void) { consoleintr(kbdgetc, 1); // Minor device 1 }