fileread           33 kernel/defs.h  int             fileread(struct file*, uint64, int n);
fileread           79 kernel/sysfile.c   return fileread(f, p, n);