consoleinit        21 kernel/defs.h  void            consoleinit(void);
consoleinit        14 kernel/main.c      consoleinit();