Structs
- An
Epollfile descriptor connects file handles and epoll events - Epoll Events associate events with data. These fields are currently unused by miri. This matches the
epoll_eventstruct defined by the epoll_ctl man page. For more information see the man page: