an identifier for a source of events. Ports are allocated by calls to listen, then exchanged out-of-band (typically by xenstore) and finally calls to connect creates a channel between the two domains. Events are send and received over these channels.

a channel is the connection between two domains and is used to send and receive events.

an event notification received from a remote domain. Events contain no data and may be coalesced. Domains which are blocked will be woken up by an event.

represents an event which 'fired' when the program started

recv channel event blocks until the system receives an event newer than event on channel channel. If an event is received while we aren't looking then this will be remembered and the next call to after will immediately unblock. If the system is suspended and then resumed, all event channel bindings are invalidated and this function will fail with Generation.Invalid

send channel sends an event along channel, to another domain which will be woken up

listen domid allocates a fresh port and event channel. The port may be supplied to connect

connect domid port connects an event channel to port on domid

close channel closes this side of an event channel