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