miri::shims::unix::linux::eventfd

Function eventfd_write

Source 
fn eventfd_write<'tcx>(
    num: u64,
    buf_place: MPlaceTy<'tcx>,
    dest: &MPlaceTy<'tcx>,
    weak_eventfd: WeakFileDescriptionRef,
    ecx: &mut MiriInterpCx<'tcx>,
) -> 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.