Lines Matching refs:vcpu_id
682 int vcpu_id = pcpu_find(cpu)->pc_vcpu_id;
684 struct evtchn_bind_ipi bind_ipi = { .vcpu = vcpu_id };
711 int vcpu_id = pcpu_find(cpu)->pc_vcpu_id;
714 .vcpu = vcpu_id };
866 u_int to_cpu, vcpu_id;
873 vcpu_id = pcpu_find(to_cpu)->pc_vcpu_id;
902 bind_vcpu.vcpu = vcpu_id;
1269 int vcpu_id = pcpu_find(cpu)->pc_vcpu_id;
1271 struct evtchn_bind_virq bind_virq = { .virq = virq, .vcpu = vcpu_id };
1332 int vcpu_id = pcpu_find(cpu)->pc_vcpu_id;
1334 struct evtchn_bind_ipi bind_ipi = { .vcpu = vcpu_id };