Lines Matching refs:vcpu
78 * vcpu.
80 * 1. Virtual IRQs are classified as per-vcpu or global. See the VIRQ list
84 * 3. Per-vcpu VIRQs may be bound to at most one event channel per vcpu.
85 * The allocated event channel is bound to the specified vcpu and the
92 uint32_t vcpu;
118 * 1. The allocated event channel is bound to the specified vcpu. The binding
123 uint32_t vcpu;
173 uint32_t vcpu; /* VCPU to which this channel is bound. */
189 * EVTCHNOP_bind_vcpu: Specify which vcpu a channel should notify when an
192 * 1. IPI-bound channels always notify the vcpu specified at bind time.
194 * 2. Per-VCPU VIRQ channels always notify the vcpu specified at bind time.
204 uint32_t vcpu;