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

Linux eventfd implementation. Currently just a stub.

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:

Traits

• EvalContextExt