Lines Matching refs:vcpu_id
717 int vcpu_id = pcpu_find(cpu)->pc_vcpu_id;
719 struct evtchn_bind_ipi bind_ipi = { .vcpu = vcpu_id };
746 int vcpu_id = pcpu_find(cpu)->pc_vcpu_id;
749 .vcpu = vcpu_id };
901 u_int to_cpu, vcpu_id;
908 vcpu_id = pcpu_find(to_cpu)->pc_vcpu_id;
936 bind_vcpu.vcpu = vcpu_id;
1304 int vcpu_id = pcpu_find(cpu)->pc_vcpu_id;
1306 struct evtchn_bind_virq bind_virq = { .virq = virq, .vcpu = vcpu_id };
1364 int vcpu_id = pcpu_find(cpu)->pc_vcpu_id;
1366 struct evtchn_bind_ipi bind_ipi = { .vcpu = vcpu_id };