Function wasi_fd_datasync

src/wrappers.rs:226–230

(ctx: &VmCtx, v_fd: u32)

#[ensures(ctx_safe(ctx))]
#[ensures(trace_safe(trace, ctx))]
pub fn wasi_fd_datasync(ctx: &VmCtx, v_fd: u32) -> RuntimeResult<u32> {
    let fd = ctx.fdmap.fd_to_native(v_fd)?;
    let ret = trace_datasync(ctx, fd)?;
    Ok(ret as u32)
}

// https://github.com/WebAssembly/WASI/blob/main/phases/snapshot/docs.md#fd_fdstat_get
//modifies: none