## eventfd_read

# 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.