argaddr           136 kernel/defs.h  void            argaddr(int, uint64 *);
argaddr            79 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           465 kernel/sysfile.c   argaddr(1, &uargv);
argaddr           509 kernel/sysfile.c   argaddr(0, &fdarray);
argaddr            35 kernel/sysproc.c   argaddr(0, &p);