fetchstr          140 kernel/defs.h  int             fetchstr(uint64, char*, int);
fetchstr           79 kernel/syscall.c   return fetchstr(addr, buf, max);
fetchstr          460 kernel/sysfile.c     if(fetchstr(uarg, argv[i], PGSIZE) < 0)