Function virtual_socket_write 

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

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