Function wasi_fd_write

src/wrappers.rs:133–140

(ctx: &mut VmCtx, v_fd: u32, iovs: u32, iovcnt: u32)

#[ensures(ctx_safe(ctx))]
#[ensures(trace_safe(trace, ctx))]
pub fn wasi_fd_write(ctx: &mut VmCtx, v_fd: u32, iovs: u32, iovcnt: u32) -> RuntimeResult<u32> {
    let fd = ctx.fdmap.fd_to_native(v_fd)?;
    let wasm_iovs = parse_iovs(ctx, iovs, iovcnt);
    unwrap_result!(wasm_iovs);

    let result = trace_writev(ctx, fd, &wasm_iovs, iovcnt as usize)?;
    Ok(result as u32)
}

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