ubuf               62 kern/include/syscall.h int sys_write(int fdesc,userptr_t ubuf,unsigned int nbytes,int *retval);
ubuf               24 kern/syscall/file_syscalls.c sys_write(int fdesc,userptr_t ubuf,unsigned int nbytes,int *retval)
ubuf               30 kern/syscall/file_syscalls.c   DEBUG(DB_SYSCALL,"Syscall: write(%d,%x,%d)\n",fdesc,(unsigned int)ubuf,nbytes);
ubuf               41 kern/syscall/file_syscalls.c   iov.iov_ubase = ubuf;