An initialised event channel interface.

A local event channel.

to_int evtchn is the port number of evtchn.

of_int n is the nth event channel.

Return an initialised event channel interface. On error it will throw a Failure exception.

Close an event channel interface and return the status code.

Notify the given event channel. On error it will throw a Failure exception.

bind_interdomain h domid remote_port returns a local event channel connected to domid:remote_port. On error it will throw a Failure exception.

bind_unbound_port h remote_domid returns a new event channel awaiting an interdomain connection from remote_domid. On error it will throw a Failure exception.

Binds a local event channel to the VIRQ_DOM_EXC (domain exception VIRQ). On error it will throw a Failure exception.

Unbinds the given event channel. On error it will throw a Failure exception.

Unmasks the given event channel. On error it will throw a Failure exception.

is_valid c is true if t is bound. Bindings are invalidated after a domain resume.