eventfd_write in miri::shims::unix::linux_like::eventfd - Rust
Description: Block thread if the value addition will exceed u64::MAX -1, else just add the user-supplied value to current counter.

Skip to main content

## eventfd_write

# Function eventfd_write

Source

    fn eventfd_write<'tcx>(
        buf_place: MPlaceTy<'tcx>,
        eventfd: FileDescriptionRef<EventFd>,
        ecx: &mut MiriInterpCx<'tcx>,
        finish: DynMachineCallback<'tcx, Result<usize, IoError>>,
    ) -> InterpResult<'tcx>

Expand description

Block thread if the value addition will exceed u64::MAX -1, else just add the user-supplied value to current counter.