fetchint          155 defs.h         int             fetchint(uint, int*);
fetchint           52 syscall.c        return fetchint((myproc()->tf->esp) + 4 + 4*n, ip);
fetchint          410 sysfile.c          if(fetchint(uargv+4*i, (int*)&uarg) < 0)