printfinit         82 kernel/defs.h  void            printfinit(void);
printfinit         15 kernel/main.c      printfinit();