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