filestat           34 kernel/defs.h  int             filestat(struct file*, uint64 addr);
filestat          119 kernel/sysfile.c   return filestat(f, st);