kbdintr            72 defs.h         void            kbdintr(void);
kbdintr            67 trap.c             kbdintr();