Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Xen_os.Eventchn
SourceLow-level event channels interface.
An initialised event channel interface.
A local event channel.
Return an initialised event channel interface. On error it will throw a Failure exception.
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.