filewrite          35 kernel/defs.h  int             filewrite(struct file*, uint64, int n);
filewrite          94 kernel/sysfile.c   return filewrite(f, p, n);