Lines Matching full:event

5  * Event channels between domains.
16 * `incontents 150 evtchn Event Channels
18 * Event channels are the basic primitive provided by Xen for event
19 * notifications. An event is the Xen equivalent of a hardware
20 * interrupt. They essentially store one bit of information, the event
24 * indicating when an event arrives (setting the bit). Further
26 * guests must check the value of the bit after re-enabling event
29 * Event notifications can be masked by setting a flag; this is
33 * Event channels are represented by the evtchn_* fields in
41 * @cmd == EVTCHNOP_* (event-channel operation).
85 * EVTCHNOP_bind_interdomain: Construct an interdomain event channel between
91 * In case the peer domain has already tried to set our event channel
93 * the local event channel pending.
96 * handler) is as follows: (Re-enable the event channel for subsequent
114 * EVTCHNOP_bind_virq: Bind a local event channel to VIRQ <irq> on specified
121 * 3. Per-vcpu VIRQs may be bound to at most one event channel per vcpu.
122 * The allocated event channel is bound to the specified vcpu and the
135 * EVTCHNOP_bind_pirq: Bind a local event channel to a real IRQ (PIRQ <irq>).
137 * 1. A physical IRQ may be bound to at most one event channel per domain.
151 * EVTCHNOP_bind_ipi: Bind a local event channel to receive events.
153 * 1. The allocated event channel is bound to the specified vcpu. The binding
164 * EVTCHNOP_close: Close a local event channel <port>. If the channel is
175 * EVTCHNOP_send: Send an event to the remote end of the channel whose local
189 * 2. Only a sufficiently-privileged domain may obtain the status of an event
221 * event is pending.
239 * EVTCHNOP_unmask: Unmask the specified local event-channel port and deliver
240 * a notification to the appropriate VCPU if an event is pending.
249 * EVTCHNOP_reset: Close all event channels associated with specified domain.
253 * 3. Destroys all control blocks and event array, resets event channel
268 * will be lost. Guests should call this before binding any event to
283 * EVTCHNOP_expand_array: add an additional page to the event array.
292 * EVTCHNOP_set_priority: set the priority for an event channel.