Searched defs:vcpu_id (Results 1 – 3 of 3) sorted by relevance
717 int vcpu_id = pcpu_find(cpu)->pc_vcpu_id; in xen_rebind_ipi() local746 int vcpu_id = pcpu_find(cpu)->pc_vcpu_id; in xen_rebind_virq() local901 u_int to_cpu, vcpu_id; in xen_intr_assign_cpu() local1304 int vcpu_id = pcpu_find(cpu)->pc_vcpu_id; in xen_intr_bind_virq() local1364 int vcpu_id = pcpu_find(cpu)->pc_vcpu_id; in xen_intr_alloc_and_bind_ipi() local
90 x86_emulate_cpuid(struct vm *vm, int vcpu_id, uint64_t *rax, uint64_t *rbx, in x86_emulate_cpuid()
305 vcpu_init(struct vm *vm, int vcpu_id, bool create) in vcpu_init()