fdesc              62 kern/include/syscall.h int sys_write(int fdesc,userptr_t ubuf,unsigned int nbytes,int *retval);
fdesc              24 kern/syscall/file_syscalls.c sys_write(int fdesc,userptr_t ubuf,unsigned int nbytes,int *retval)
fdesc              30 kern/syscall/file_syscalls.c   DEBUG(DB_SYSCALL,"Syscall: write(%d,%x,%d)\n",fdesc,(unsigned int)ubuf,nbytes);
fdesc              33 kern/syscall/file_syscalls.c   if (!((fdesc==STDOUT_FILENO)||(fdesc==STDERR_FILENO))) {