Searched refs:vcpu_id (Results 1 - 11 of 11) sorted by relevance

/freebsd-10.0-release/sys/amd64/vmm/
H A Dx86.c53 x86_emulate_cpuid(struct vm *vm, int vcpu_id, argument
126 error = vm_get_x2apic_state(vm, vcpu_id, &x2apic_state);
136 regs[1] |= (vcpu_id << CPUID_0000_0001_APICID_SHIFT);
213 error = vm_get_capability(vm, vcpu_id,
240 regs[3] = vcpu_id;
H A Dx86.h62 int x86_emulate_cpuid(struct vm *vm, int vcpu_id, uint32_t *eax, uint32_t *ebx,
H A Dvmm.c171 vcpu_init(struct vm *vm, uint32_t vcpu_id) argument
175 vcpu = &vm->vcpu[vcpu_id];
179 vcpu->vcpuid = vcpu_id;
180 vcpu->vlapic = vlapic_init(vm, vcpu_id);
181 vm_set_x2apic_state(vm, vcpu_id, X2APIC_ENABLED);
/freebsd-10.0-release/sys/xen/interface/
H A Dmem_event.h51 uint32_t vcpu_id; member in struct:mem_event_st
H A Dxenoprof.h80 uint32_t vcpu_id; member in struct:xenoprof_buf
H A Ddomctl.h703 uint32_t vcpu_id; /* any vcpu in an event? */ member in struct:xen_domctl_gdbsx_domstatus
H A Dsysctl.h556 /* If a domain has multiple VCPUs, vcpu_id specifies which one
559 unsigned int vcpu_id; member in struct:xen_sysctl_arinc653_schedule::__anon11245
/freebsd-10.0-release/sys/i386/xen/
H A Dmptable.c91 PCPU_SET(vcpu_id, 0);
/freebsd-10.0-release/sys/x86/xen/
H A Dxen_intr.c614 int vcpu_id = pcpu_find(cpu)->pc_vcpu_id; local
616 struct evtchn_bind_ipi bind_ipi = { .vcpu = vcpu_id };
643 int vcpu_id = pcpu_find(cpu)->pc_vcpu_id; local
646 .vcpu = vcpu_id };
799 u_int to_cpu, vcpu_id; local
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; local
1068 struct evtchn_bind_virq bind_virq = { .virq = virq, .vcpu = vcpu_id };
1129 int vcpu_id local
[all...]
H A Dhvm.c752 /* Set vcpu_id to acpi_id */
782 cpu = PCPU_GET(vcpu_id);
/freebsd-10.0-release/sys/dev/xen/timer/
H A Dtimer.c399 int cpu = PCPU_GET(vcpu_id);
436 int cpu = PCPU_GET(vcpu_id);

Completed in 102 milliseconds