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