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