bpin               17 kernel/defs.h  void            bpin(struct buf*);
bpin              232 kernel/log.c       bpin(b);