fileclose          31 kernel/defs.h  void            fileclose(struct file*);
fileclose          52 kernel/pipe.c      fileclose(*f0);
fileclose          54 kernel/pipe.c      fileclose(*f1);
fileclose         337 kernel/proc.c        fileclose(f);
fileclose         106 kernel/sysfile.c   fileclose(f);
fileclose         370 kernel/sysfile.c       fileclose(f);
fileclose         516 kernel/sysfile.c     fileclose(rf);
fileclose         517 kernel/sysfile.c     fileclose(wf);
fileclose         525 kernel/sysfile.c     fileclose(rf);
fileclose         526 kernel/sysfile.c     fileclose(wf);