## anonsocket_write

# Function anonsocket_write

Source

    fn anonsocket_write<'tcx>(
        self_ref: FileDescriptionRef<AnonSocket>,
        ptr: Pointer,
        len: usize,
        ecx: &mut MiriInterpCx<'tcx>,
        finish: DynMachineCallback<'tcx, Result<usize, IoError>>,
    ) -> InterpResult<'tcx>

Expand description

Write to AnonSocket based on the space available and return the written byte size.