fetchaddr         141 kernel/defs.h  int             fetchaddr(uint64, uint64*);
fetchaddr         450 kernel/sysfile.c     if(fetchaddr(uargv+sizeof(uint64)*i, (uint64*)&uarg) < 0){