@@ -480,7 +480,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
480
480
}
481
481
if timeout == 0 || !ready_list_empty {
482
482
// If the ready list is not empty, or the timeout is 0, we can return immediately.
483
- blocking_epoll_callback ( epfd_value, weak_epfd, dest, & event, this) ?;
483
+ return_ready_list ( epfd_value, weak_epfd, dest, & event, this) ?;
484
484
} else {
485
485
// Blocking
486
486
let timeout = match timeout {
@@ -508,7 +508,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
508
508
event: MPlaceTy <' tcx>,
509
509
}
510
510
@unblock = |this| {
511
- blocking_epoll_callback ( epfd_value, weak_epfd, & dest, & event, this) ?;
511
+ return_ready_list ( epfd_value, weak_epfd, & dest, & event, this) ?;
512
512
interp_ok( ( ) )
513
513
}
514
514
@timeout = |this| {
@@ -636,8 +636,9 @@ fn check_and_update_one_event_interest<'tcx>(
636
636
}
637
637
}
638
638
639
- /// Callback function after epoll_wait unblocks
640
- fn blocking_epoll_callback < ' tcx > (
639
+ /// Stores the ready list of the `epfd` epoll instance into `events` (which must be an array),
640
+ /// and the number of returned events into `dest`.
641
+ fn return_ready_list < ' tcx > (
641
642
epfd_value : i32 ,
642
643
weak_epfd : WeakFileDescriptionRef ,
643
644
dest : & MPlaceTy < ' tcx > ,
0 commit comments