uargv             439 kernel/sysfile.c   uint64 uargv, uarg;
uargv             441 kernel/sysfile.c   argaddr(1, &uargv);
uargv             450 kernel/sysfile.c     if(fetchaddr(uargv+sizeof(uint64)*i, (uint64*)&uarg) < 0){