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

Function return_ready_list

Source
fn return_ready_list<'tcx>(
    epfd_value: i32,
    weak_epfd: WeakFileDescriptionRef,
    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.