argaddr           139 kernel/defs.h  void            argaddr(int, uint64 *);
argaddr            78 kernel/syscall.c   argaddr(n, &addr);
argaddr            75 kernel/sysfile.c   argaddr(1, &p);
argaddr            89 kernel/sysfile.c   argaddr(1, &p);
argaddr           116 kernel/sysfile.c   argaddr(1, &st);
argaddr           441 kernel/sysfile.c   argaddr(1, &uargv);
argaddr           485 kernel/sysfile.c   argaddr(0, &fdarray);
argaddr            34 kernel/sysproc.c   argaddr(0, &p);