Searched refs:vcpu_id (Results 1 - 11 of 11) sorted by relevance
/freebsd-10.2-release/sys/xen/interface/ |
H A D | mem_event.h | 51 uint32_t vcpu_id; member in struct:mem_event_st
|
H A D | xenoprof.h | 80 uint32_t vcpu_id; member in struct:xenoprof_buf
|
H A D | domctl.h | 703 uint32_t vcpu_id; /* any vcpu in an event? */ member in struct:xen_domctl_gdbsx_domstatus
|
H A D | sysctl.h | 556 /* If a domain has multiple VCPUs, vcpu_id specifies which one 559 unsigned int vcpu_id; member in struct:xen_sysctl_arinc653_schedule::__anon11984
|
/freebsd-10.2-release/sys/amd64/vmm/ |
H A D | x86.c | 88 x86_emulate_cpuid(struct vm *vm, int vcpu_id, argument 97 VCPU_CTR2(vm, vcpu_id, "cpuid %#x,%#x", *eax, *ecx); 220 error = vm_get_x2apic_state(vm, vcpu_id, &x2apic_state); 230 regs[1] |= (vcpu_id << CPUID_0000_0001_APICID_SHIFT); 260 error = vm_get_register(vm, vcpu_id, 358 error = vm_get_capability(vm, vcpu_id, 391 x2apic_id = vcpu_id; 399 x2apic_id = vcpu_id;
|
H A D | x86.h | 62 int x86_emulate_cpuid(struct vm *vm, int vcpu_id, uint32_t *eax, uint32_t *ebx,
|
H A D | vmm.c | 262 vcpu_init(struct vm *vm, int vcpu_id, bool create) argument 266 KASSERT(vcpu_id >= 0 && vcpu_id < VM_MAXCPU, 267 ("vcpu_init: invalid vcpu %d", vcpu_id)); 269 vcpu = &vm->vcpu[vcpu_id]; 273 "initialized", vcpu_id)); 281 vcpu->vlapic = VLAPIC_INIT(vm->cookie, vcpu_id); 282 vm_set_x2apic_state(vm, vcpu_id, X2APIC_DISABLED);
|
/freebsd-10.2-release/sys/i386/xen/ |
H A D | mptable.c | 91 PCPU_SET(vcpu_id, 0);
|
/freebsd-10.2-release/sys/x86/xen/ |
H A D | xen_intr.c | 614 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 D | hvm.c | 583 /* Set vcpu_id to acpi_id */ 613 cpu = PCPU_GET(vcpu_id);
|
/freebsd-10.2-release/sys/dev/xen/timer/ |
H A D | timer.c | 399 int cpu = PCPU_GET(vcpu_id); 436 int cpu = PCPU_GET(vcpu_id);
|
Completed in 196 milliseconds