@@ -103,36 +103,33 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
103103 }
104104 }
105105
106- /// The epoll_wait() system call waits for events on the epoll(7)
107- /// instance referred to by the file descriptor epfd. The buffer
108- /// pointed to by events is used to return information from the ready
106+ /// The ` epoll_wait()` system call waits for events on the `Epoll`
107+ /// instance referred to by the file descriptor ` epfd`. The buffer
108+ /// pointed to by ` events` is used to return information from the ready
109109 /// list about file descriptors in the interest list that have some
110- /// events available. Up to maxevents are returned by epoll_wait().
111- /// The maxevents argument must be greater than zero.
110+ /// events available. Up to ` maxevents` are returned by ` epoll_wait()` .
111+ /// The ` maxevents` argument must be greater than zero.
112112
113- /// The timeout argument specifies the number of milliseconds that
114- /// epoll_wait() will block. Time is measured against the
113+ /// The ` timeout` argument specifies the number of milliseconds that
114+ /// ` epoll_wait()` will block. Time is measured against the
115115 /// CLOCK_MONOTONIC clock.
116116
117- /// A call to epoll_wait() will block until either:
118-
117+ /// A call to `epoll_wait()` will block until either:
119118 /// • a file descriptor delivers an event;
120-
121119 /// • the call is interrupted by a signal handler; or
122-
123120 /// • the timeout expires.
124121
125122 /// Note that the timeout interval will be rounded up to the system
126123 /// clock granularity, and kernel scheduling delays mean that the
127- /// blocking interval may overrun by a small amount. Specifying a
128- /// timeout of -1 causes epoll_wait() to block indefinitely, while
129- /// specifying a timeout equal to zero cause epoll_wait() to return
124+ /// blocking interval may overrun by a small amount. Specifying a
125+ /// timeout of -1 causes ` epoll_wait()` to block indefinitely, while
126+ /// specifying a timeout equal to zero cause ` epoll_wait()` to return
130127 /// immediately, even if no events are available.
131128 ///
132- /// On success, epoll_wait() returns the number of file descriptors
129+ /// On success, ` epoll_wait()` returns the number of file descriptors
133130 /// ready for the requested I/O, or zero if no file descriptor became
134- /// ready during the requested timeout milliseconds. On failure,
135- /// epoll_wait() returns -1 and errno is set to indicate the error.
131+ /// ready during the requested timeout milliseconds. On failure,
132+ /// ` epoll_wait()` returns -1 and errno is set to indicate the error.
136133 ///
137134 /// <https://man7.org/linux/man-pages/man2/epoll_wait.2.html>
138135 fn epoll_wait (
0 commit comments