miri::shims::unix::linux_like::eventfd

Function eventfd_read

Source 
fn eventfd_read<'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 current counter is 0, else just return the current counter value to the caller and set the counter to 0.