Function kernel::syscall::file::sys_write

pub fn sys_write() -> i32

write syscall