Module miri::shims::unix::linux::eventfd

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.
• U64_ARRAY_SIZE 🔒

Traits

• EvalContextExt