consoleintr        22 kernel/defs.h  void            consoleintr(int);
consoleintr       184 kernel/uart.c      consoleintr(c);