Home
last modified time | relevance | path

Searched refs:vcpu_id (Results 1 – 12 of 12) sorted by relevance

/freebsd-10-stable/sys/amd64/vmm/
Dx86.c88 x86_emulate_cpuid(struct vm *vm, int vcpu_id, in x86_emulate_cpuid() argument
97 VCPU_CTR2(vm, vcpu_id, "cpuid %#x,%#x", *eax, *ecx); in x86_emulate_cpuid()
223 error = vm_get_x2apic_state(vm, vcpu_id, &x2apic_state); in x86_emulate_cpuid()
233 regs[1] |= (vcpu_id << CPUID_0000_0001_APICID_SHIFT); in x86_emulate_cpuid()
263 error = vm_get_register(vm, vcpu_id, in x86_emulate_cpuid()
361 error = vm_get_capability(vm, vcpu_id, in x86_emulate_cpuid()
394 x2apic_id = vcpu_id; in x86_emulate_cpuid()
402 x2apic_id = vcpu_id; in x86_emulate_cpuid()
Dx86.h62 int x86_emulate_cpuid(struct vm *vm, int vcpu_id, uint32_t *eax, uint32_t *ebx,
Dvmm.c268 vcpu_init(struct vm *vm, int vcpu_id, bool create) in vcpu_init() argument
272 KASSERT(vcpu_id >= 0 && vcpu_id < VM_MAXCPU, in vcpu_init()
273 ("vcpu_init: invalid vcpu %d", vcpu_id)); in vcpu_init()
275 vcpu = &vm->vcpu[vcpu_id]; in vcpu_init()
279 "initialized", vcpu_id)); in vcpu_init()
287 vcpu->vlapic = VLAPIC_INIT(vm->cookie, vcpu_id); in vcpu_init()
288 vm_set_x2apic_state(vm, vcpu_id, X2APIC_DISABLED); in vcpu_init()
/freebsd-10-stable/sys/x86/xen/
Dxen_intr.c614 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
[all …]
Dhvm.c635 cpu = PCPU_GET(vcpu_id); in xen_hvm_cpu_init()
/freebsd-10-stable/sys/xen/interface/
Dmem_event.h51 uint32_t vcpu_id; member
Dxenoprof.h80 uint32_t vcpu_id; member
Dsysctl.h559 unsigned int vcpu_id; member
Ddomctl.h703 uint32_t vcpu_id; /* any vcpu in an event? */ member
/freebsd-10-stable/sys/i386/xen/
Dmptable.c91 PCPU_SET(vcpu_id, 0); in mptable_setup_local()
/freebsd-10-stable/sys/dev/xen/timer/
Dtimer.c399 int cpu = PCPU_GET(vcpu_id); in xentimer_et_start()
436 int cpu = PCPU_GET(vcpu_id); in xentimer_et_stop()
/freebsd-10-stable/sys/dev/hyperv/pcib/
Dvmbus_pcib.c1681 unsigned int cpu, vcpu_id; in vmbus_pcib_map_msi() local
1713 vcpu_id = VMBUS_GET_VCPU_ID(device_get_parent(pcib), pcib, cpu); in vmbus_pcib_map_msi()
1728 int_pkt->int_desc.cpu_mask = 1ULL << vcpu_id; in vmbus_pcib_map_msi()