Lines Matching refs:vcpu_id
614 int vcpu_id = pcpu_find(cpu)->pc_vcpu_id;
616 struct evtchn_bind_ipi bind_ipi = { .vcpu = vcpu_id };
643 int vcpu_id = pcpu_find(cpu)->pc_vcpu_id;
646 .vcpu = vcpu_id };
799 u_int to_cpu, vcpu_id;
808 vcpu_id = pcpu_find(to_cpu)->pc_vcpu_id;
833 bind_vcpu.vcpu = vcpu_id;
1066 int vcpu_id = pcpu_find(cpu)->pc_vcpu_id;
1068 struct evtchn_bind_virq bind_virq = { .virq = virq, .vcpu = vcpu_id };
1129 int vcpu_id = pcpu_find(cpu)->pc_vcpu_id;
1131 struct evtchn_bind_ipi bind_ipi = { .vcpu = vcpu_id };