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