fn return_ready_list<'tcx>(
epfd: &FileDescriptionRef<Epoll>,
dest: &MPlaceTy<'tcx>,
events: &MPlaceTy<'tcx>,
ecx: &mut MiriInterpCx<'tcx>,
) -> InterpResult<'tcx, i32>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.