| /freebsd-11-stable/sys/xen/interface/ |
| H A D | pmu.h | 102 uint32_t vcpu_id; member in struct:xen_pmu_data
106 * guests set to vcpu_id;
|
| H A D | xenoprof.h | 80 uint32_t vcpu_id; member in struct:xenoprof_buf
|
| H A D | vm_event.h | 233 uint32_t vcpu_id; member in struct:vm_event_st
|
| H A D | sysctl.h | 578 /* If a domain has multiple VCPUs, vcpu_id specifies which one
581 unsigned int vcpu_id; member in struct:xen_sysctl_arinc653_schedule::__anon13598
|
| H A D | domctl.h | 729 uint32_t vcpu_id; /* any vcpu in an event? */ member in struct:xen_domctl_gdbsx_domstatus
|
| /freebsd-11-stable/sys/amd64/vmm/ |
| H A D | x86.c | 87 x86_emulate_cpuid(struct vm *vm, int vcpu_id, argument
97 VCPU_CTR2(vm, vcpu_id, "cpuid %#x,%#x", *eax, *ecx);
283 regs[0] = vcpu_id;
286 (vcpu_id >> log2(threads + 1));
298 error = vm_get_x2apic_state(vm, vcpu_id, &x2apic_state);
308 regs[1] |= (vcpu_id << CPUID_0000_0001_APICID_SHIFT);
338 error = vm_get_register(vm, vcpu_id,
441 error = vm_get_capability(vm, vcpu_id,
477 x2apic_id = vcpu_id;
484 x2apic_id = vcpu_id;
[all...] |
| H A D | x86.h | 65 int x86_emulate_cpuid(struct vm *vm, int vcpu_id, uint32_t *eax, uint32_t *ebx,
|
| H A D | vmm.c | 272 vcpu_init(struct vm *vm, int vcpu_id, bool create) argument
276 KASSERT(vcpu_id >= 0 && vcpu_id < vm->maxcpus,
277 ("vcpu_init: invalid vcpu %d", vcpu_id));
279 vcpu = &vm->vcpu[vcpu_id];
283 "initialized", vcpu_id));
291 vcpu->vlapic = VLAPIC_INIT(vm->cookie, vcpu_id);
292 vm_set_x2apic_state(vm, vcpu_id, X2APIC_DISABLED);
|
| /freebsd-11-stable/sys/x86/xen/ |
| H A D | xen_apic.c | 274 HYPERVISOR_vcpu_op(VCPUOP_send_nmi, PCPU_GET(vcpu_id), NULL);
279 PCPU_ID_GET(cpu, vcpu_id), NULL);
285 PCPU_ID_GET(cpu, vcpu_id), NULL);
289 PCPU_ID_GET(apic_cpuid(dest), vcpu_id), NULL);
|
| H A D | xen_intr.c | 712 int vcpu_id = pcpu_find(cpu)->pc_vcpu_id; local
714 struct evtchn_bind_ipi bind_ipi = { .vcpu = vcpu_id };
741 int vcpu_id = pcpu_find(cpu)->pc_vcpu_id; local
744 .vcpu = vcpu_id };
896 u_int to_cpu, vcpu_id; local
903 vcpu_id = pcpu_find(to_cpu)->pc_vcpu_id;
931 bind_vcpu.vcpu = vcpu_id;
1299 int vcpu_id = pcpu_find(cpu)->pc_vcpu_id; local
1301 struct evtchn_bind_virq bind_virq = { .virq = virq, .vcpu = vcpu_id };
1359 int vcpu_id local
[all...] |
| H A D | pvcpu_enum.c | 169 PCPU_SET(vcpu_id, 0);
|
| H A D | hvm.c | 382 /* Set vcpu_id to acpi_id */
412 cpu = PCPU_GET(vcpu_id);
|
| /freebsd-11-stable/sys/dev/xen/debug/ |
| H A D | debug.c | 82 xc_printf("Printing stack trace vCPU%d\n", PCPU_GET(vcpu_id));
|
| /freebsd-11-stable/sys/dev/xen/timer/ |
| H A D | timer.c | 322 int cpu = PCPU_GET(vcpu_id);
353 int cpu = PCPU_GET(vcpu_id);
|
| /freebsd-11-stable/sys/xen/interface/hvm/ |
| H A D | hvm_op.h | 416 uint32_t vcpu_id; member in struct:xen_hvm_altp2m_vcpu_enable_notify
|
| /freebsd-11-stable/sys/dev/hyperv/pcib/ |
| H A D | vmbus_pcib.c | 1681 unsigned int cpu, vcpu_id; local
1713 vcpu_id = VMBUS_GET_VCPU_ID(device_get_parent(pcib), pcib, cpu);
1728 int_pkt->int_desc.cpu_mask = 1ULL << vcpu_id;
|