fn return_ready_list<'tcx>(
epfd: &FileDescriptionRef<Epoll>,
dest: &MPlaceTy<'tcx>,
events: &MPlaceTy<'tcx>,
ecx: &mut MiriInterpCx<'tcx>,
) -> InterpResult<'tcx>
Expand description
Stores the ready list of the epfd
epoll instance into events
(which must be an array),
and the number of returned events into dest
.