fdarray           480 kernel/sysfile.c   uint64 fdarray; // user pointer to array of two integers
fdarray           485 kernel/sysfile.c   argaddr(0, &fdarray);
fdarray           496 kernel/sysfile.c   if(copyout(p->pagetable, fdarray, (char*)&fd0, sizeof(fd0)) < 0 ||
fdarray           497 kernel/sysfile.c      copyout(p->pagetable, fdarray+sizeof(fd0), (char *)&fd1, sizeof(fd1)) < 0){