miri::shims::unix::linux::epoll

Function ready_list_next

Source
fn ready_list_next(
    ecx: &MiriInterpCx<'_>,
    ready_list: &mut BTreeMap<(FdId, i32), EpollEventInstance>,
) -> Option<EpollEventInstance>
Expand description

This function takes in ready list and returns EpollEventInstance with file description that is not closed.