write syscall

ssize_t write(fd_t file, void __user *src, size_t size);