consoleintr        21 defs.h         void            consoleintr(int(*)(void));
consoleintr        49 kbd.c            consoleintr(kbdgetc);
consoleintr        76 uart.c           consoleintr(uartgetc);