Lines Matching defs:vcpu
54 * vcpu.
56 * 1. A virtual IRQ may be bound to at most one event channel per vcpu.
57 * 2. The allocated event channel is bound to the specified vcpu. The binding
64 uint32_t vcpu;
88 * 1. The allocated event channel is bound to the specified vcpu. The binding
93 uint32_t vcpu;
140 uint32_t vcpu; /* VCPU to which this channel is bound. */
155 * EVTCHNOP_bind_vcpu: Specify which vcpu a channel should notify when an
158 * 1. IPI- and VIRQ-bound channels always notify the vcpu that initialised
168 uint32_t vcpu;
202 uint32_t vcpu;