System.Linux.Eventfd.Eventfd

Definitions

record Eventfd : Type

  A file descriptor for basic file events.
  
  This can be used as an event wait/notify mechanism similar to
  a `Condition` variable.

Totality: total
Visibility: export
Constructor: 

EFD : Bits32 -> Eventfd

Projection: 

.fd : Eventfd -> Bits32

Hints:

Cast Eventfd Fd

Cast CInt Eventfd