binit              13 kernel/defs.h  void            binit(void);
binit              27 kernel/main.c      binit();         // buffer cache