Lines Matching full:event

6  * Event channels between domains.
20  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
35  * `incontents 150 evtchn Event Channels
37  * Event channels are the basic primitive provided by Xen for event
38  * notifications. An event is the Xen equivalent of a hardware
39  * interrupt. They essentially store one bit of information, the event
43  * indicating when an event arrives (setting the bit). Further
45  * guests must check the value of the bit after re-enabling event
48  * Event notifications can be masked by setting a flag; this is
52  * Event channels are represented by the evtchn_* fields in
94  * EVTCHNOP_bind_interdomain: Construct an interdomain event channel between
100  * In case the peer domain has already tried to set our event channel
102  * the local event channel pending.
105  * handler) is as follows: (Re-enable the event channel for subsequent
123  * EVTCHNOP_close: Close a local event channel <port>. If the channel is
134  * EVTCHNOP_send: Send an event to the remote end of the channel whose local
148  *  2. Only a sufficiently-privileged domain may obtain the status of an event
179  * EVTCHNOP_unmask: Unmask the specified local event-channel port and deliver
180  * a notification to the appropriate VCPU if an event is pending.
189  * EVTCHNOP_reset: Close all event channels associated with specified domain.
193  *  3. Destroys all control blocks and event array, resets event channel
205  * EVTCHNOP_set_priority: set the priority for an event channel.