Function dr_write_file 

pub unsafe extern "C" fn dr_write_file(
    f: file_t,
    buf: *const c_void,
    count: usize,
) -> isize

Writes \p count bytes from \p buf to file \p f. Returns the actual number written.