Module miri::shims::unix::linux::fd::event

source ·

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: