@@ -481,7 +481,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
481
481
}
482
482
if timeout == 0 || !ready_list_empty {
483
483
// If the ready list is not empty, or the timeout is 0, we can return immediately.
484
- blocking_epoll_callback ( epfd_value, weak_epfd, dest, & event, this) ?;
484
+ return_ready_list ( epfd_value, weak_epfd, dest, & event, this) ?;
485
485
} else {
486
486
// Blocking
487
487
let timeout = match timeout {
@@ -509,7 +509,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
509
509
event: MPlaceTy <' tcx>,
510
510
}
511
511
@unblock = |this| {
512
- blocking_epoll_callback ( epfd_value, weak_epfd, & dest, & event, this) ?;
512
+ return_ready_list ( epfd_value, weak_epfd, & dest, & event, this) ?;
513
513
interp_ok( ( ) )
514
514
}
515
515
@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