miri::shims::unix::linux

Module eventfd

Source
Expand description

Linux eventfd implementation.

Structs§

  • Event 🔒
    A kind of file descriptor created by eventfd. The Event type isn’t currently written to by eventfd. The interface is meant to keep track of objects associated with a file descriptor. For more information see the man page below:

Constants§

  • MAX_COUNTER 🔒
    Maximum value that the eventfd counter can hold.

Traits§