Function wasi_fd_sync

src/wrappers.rs:213–217

(ctx: &VmCtx, v_fd: u32)

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

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