/freebsd-13-stable/sys/amd64/vmm/ |
H A D | x86.c | 90 x86_emulate_cpuid(struct vm *vm, int vcpu_id, uint64_t *rax, uint64_t *rbx, argument 108 VCPU_CTR2(vm, vcpu_id, "cpuid %#x,%#x", func, param); 205 error = vm_get_capability(vm, vcpu_id, 297 regs[0] = vcpu_id; 300 (vcpu_id >> log2(threads + 1)); 312 error = vm_get_x2apic_state(vm, vcpu_id, &x2apic_state); 322 regs[1] |= (vcpu_id << CPUID_0000_0001_APICID_SHIFT); 352 error = vm_get_register(vm, vcpu_id, 457 error = vm_get_capability(vm, vcpu_id, 463 error = vm_get_capability(vm, vcpu_id, [all...] |
H A D | x86.h | 67 int x86_emulate_cpuid(struct vm *vm, int vcpu_id, uint64_t *rax, uint64_t *rbx,
|
H A D | vmm.c | 305 vcpu_init(struct vm *vm, int vcpu_id, bool create) argument 309 KASSERT(vcpu_id >= 0 && vcpu_id < vm->maxcpus, 310 ("vcpu_init: invalid vcpu %d", vcpu_id)); 312 vcpu = &vm->vcpu[vcpu_id]; 316 "initialized", vcpu_id)); 325 vcpu->vlapic = vmmops_vlapic_init(vm->cookie, vcpu_id); 326 vm_set_x2apic_state(vm, vcpu_id, X2APIC_DISABLED);
|
/freebsd-13-stable/sys/xen/interface/ |
H A D | pmu.h | 112 uint32_t vcpu_id; member in struct:xen_pmu_data 116 * 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 | 368 uint32_t vcpu_id; member in struct:vm_event_st
|
H A D | domctl.h | 772 uint32_t vcpu_id; /* any vcpu in an event? */ member in struct:xen_domctl_gdbsx_domstatus
|
H A D | sysctl.h | 617 /* If a domain has multiple VCPUs, vcpu_id specifies which one 620 unsigned int vcpu_id; member in struct:xen_sysctl_arinc653_schedule::__anon16149
|
/freebsd-13-stable/sys/x86/xen/ |
H A D | xen_apic.c | 283 HYPERVISOR_vcpu_op(VCPUOP_send_nmi, PCPU_GET(vcpu_id), NULL); 288 PCPU_ID_GET(cpu, vcpu_id), NULL); 294 PCPU_ID_GET(cpu, vcpu_id), NULL); 298 PCPU_ID_GET(apic_cpuid(dest), vcpu_id), NULL); 580 /* Switch to using PV IPIs as soon as the vcpu_id is set. */
|
H A D | hvm.c | 455 ("Xen PV domain without vcpu_id in cpuid")); 456 PCPU_SET(vcpu_id, (regs[0] & XEN_HVM_CPUID_VCPU_ID_PRESENT) ? 467 rc = set_percpu_callback(PCPU_GET(vcpu_id)); 481 cpu = PCPU_GET(vcpu_id);
|
H A D | xen_intr.c | 717 int vcpu_id = pcpu_find(cpu)->pc_vcpu_id; local 719 struct evtchn_bind_ipi bind_ipi = { .vcpu = vcpu_id }; 746 int vcpu_id = pcpu_find(cpu)->pc_vcpu_id; local 749 .vcpu = vcpu_id }; 901 u_int to_cpu, vcpu_id; local 908 vcpu_id = pcpu_find(to_cpu)->pc_vcpu_id; 936 bind_vcpu.vcpu = vcpu_id; 1304 int vcpu_id = pcpu_find(cpu)->pc_vcpu_id; local 1306 struct evtchn_bind_virq bind_virq = { .virq = virq, .vcpu = vcpu_id }; 1364 int vcpu_id local [all...] |
H A D | pvcpu_enum.c | 183 PCPU_SET(vcpu_id, 0);
|
/freebsd-13-stable/sys/xen/interface/hvm/ |
H A D | hvm_op.h | 238 uint32_t vcpu_id; member in struct:xen_hvm_altp2m_vcpu_enable_notify 247 uint32_t vcpu_id; member in struct:xen_hvm_altp2m_vcpu_disable_notify 317 uint32_t vcpu_id; member in struct:xen_hvm_altp2m_get_vcpu_p2m_idx
|
/freebsd-13-stable/sys/dev/xen/debug/ |
H A D | debug.c | 84 xc_printf("Printing stack trace vCPU%d\n", PCPU_GET(vcpu_id));
|
/freebsd-13-stable/sys/dev/xen/timer/ |
H A D | timer.c | 324 int cpu = PCPU_GET(vcpu_id); 355 int cpu = PCPU_GET(vcpu_id);
|
/freebsd-13-stable/sys/dev/hyperv/pcib/ |
H A D | vmbus_pcib.c | 1735 unsigned int cpu, vcpu_id; local 1767 vcpu_id = VMBUS_GET_VCPU_ID(device_get_parent(pcib), pcib, cpu); 1782 int_pkt->int_desc.cpu_mask = 1ULL << vcpu_id;
|
/freebsd-13-stable/sys/amd64/include/ |
H A D | vmm.h | 434 int vm_set_tsc_offset(struct vm *vm, int vcpu_id, uint64_t offset);
|