Lines Matching full:bound

92  * pending, before it was bound, EVTCHNOP_bind_interdomain always sets
120  *     re-bound via EVTCHNOP_bind_vcpu.
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
137  *  1. A physical IRQ may be bound to at most one event channel per domain.
153  *  1. The allocated event channel is bound to the specified vcpu. The binding
200 #define EVTCHNSTAT_pirq         3  /* Channel is bound to a phys IRQ line.   */
201 #define EVTCHNSTAT_virq         4  /* Channel is bound to a virtual IRQ line */
202 #define EVTCHNSTAT_ipi          5  /* Channel is bound to a virtual IPI line */
204     uint32_t vcpu;                 /* VCPU to which this channel is bound.   */
223  *  1. IPI-bound channels always notify the vcpu specified at bind time.