miri::shims::unix::linux_like::epoll

Function check_and_update_one_event_interest

Source 
fn check_and_update_one_event_interest<'tcx>(
    fd_ref: &FileDescriptionRef<dyn FileDescription>,
    interest: &RefCell<EpollEventInterest>,
    id: FdId,
    ecx: &MiriInterpCx<'tcx>,
) -> InterpResult<'tcx, bool>
Expand description

This helper function checks whether an epoll notification should be triggered for a specific epoll_interest and, if necessary, triggers the notification, and returns whether the notification was added/updated. Unlike check_and_update_readiness, this function sends a notification to only one epoll instance.