printkinit         79 kernel/defs.h  void            printkinit(void);
printkinit         15 kernel/main.c      printkinit();