virtual_socket_read in miri::shims::unix::virtual_socket - Rust
Description: Read from VirtualSocket and return the number of bytes read.

Skip to main content

## virtual_socket_read

# Function virtual_socket_read

Source

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

Expand description

Read from VirtualSocket and return the number of bytes read.