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