fetchint          147 defs.h         int             fetchint(uint, int*);
fetchint           48 syscall.c        return fetchint(proc->tf->esp + 4 + 4*n, ip);
fetchint          408 sysfile.c          if(fetchint(uargv+4*i, (int*)&uarg) < 0)