consoleintr        23 kernel/defs.h  void            consoleintr(int);
consoleintr       153 kernel/uart.c      consoleintr(c);