Lines Matching defs:vcpu_id

517 	u_int vcpu_id = XEN_CPUID_TO_VCPUID(cpu);
519 	struct evtchn_bind_ipi bind_ipi = { .vcpu = vcpu_id };
536 	u_int vcpu_id = XEN_CPUID_TO_VCPUID(cpu);
539 	                                      .vcpu = vcpu_id };
660 	u_int vcpu_id = XEN_CPUID_TO_VCPUID(to_cpu);
691 	bind_vcpu.vcpu = vcpu_id;
863 	u_int vcpu_id = XEN_CPUID_TO_VCPUID(cpu);
865 	struct evtchn_bind_virq bind_virq = { .virq = virq, .vcpu = vcpu_id };
923 	u_int vcpu_id = XEN_CPUID_TO_VCPUID(cpu);
925 	struct evtchn_bind_ipi bind_ipi = { .vcpu = vcpu_id };