pub unsafe extern "C" fn syscall_write( fd: u32, write_buf: *const u8, nbytes: usize, )
Writes the bytes in the given buffer to the given file descriptor.