Function sys_write 

pub fn sys_write(
    fd: u32,
    buf_ptr: u64,
    buf_len: u64,
) -> Result<u64, SyscallError>

Syscall handler for writing to a file.