Lines Matching full:bound

109  * pending, before it was bound, EVTCHNOP_bind_interdomain always sets
137  *     re-bound via EVTCHNOP_bind_vcpu.
138  *  3. Per-vcpu VIRQs may be bound to at most one event channel per vcpu.
139  *     The allocated event channel is bound to the specified vcpu and the
154  *  1. A physical IRQ may be bound to at most one event channel per domain.
170  *  1. The allocated event channel is bound to the specified vcpu. The binding
217 #define EVTCHNSTAT_pirq         3  /* Channel is bound to a phys IRQ line.   */
218 #define EVTCHNSTAT_virq         4  /* Channel is bound to a virtual IRQ line */
219 #define EVTCHNSTAT_ipi          5  /* Channel is bound to a virtual IPI line */
221     uint32_t vcpu;                 /* VCPU to which this channel is bound.   */
240  *  1. IPI-bound channels always notify the vcpu specified at bind time.