fdarray           504 kernel/sysfile.c   uint64 fdarray; // user pointer to array of two integers
fdarray           509 kernel/sysfile.c   argaddr(0, &fdarray);
fdarray           520 kernel/sysfile.c   if (copyout(p->pagetable, p->sz, fdarray, (char *)&fd0, sizeof(fd0)) < 0 ||
fdarray           521 kernel/sysfile.c       copyout(p->pagetable, p->sz, fdarray + sizeof(fd0), (char *)&fd1,