Home
last modified time | relevance | path

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

/trueos/sys/amd64/vmm/
HDx86.c89 x86_emulate_cpuid(struct vm *vm, int vcpu_id, in x86_emulate_cpuid() argument
98 VCPU_CTR2(vm, vcpu_id, "cpuid %#x,%#x", *eax, *ecx); in x86_emulate_cpuid()
221 error = vm_get_x2apic_state(vm, vcpu_id, &x2apic_state); in x86_emulate_cpuid()
231 regs[1] |= (vcpu_id << CPUID_0000_0001_APICID_SHIFT); in x86_emulate_cpuid()
260 error = vm_get_register(vm, vcpu_id, in x86_emulate_cpuid()
356 error = vm_get_capability(vm, vcpu_id, in x86_emulate_cpuid()
389 x2apic_id = vcpu_id; in x86_emulate_cpuid()
397 x2apic_id = vcpu_id; in x86_emulate_cpuid()
HDx86.h62 int x86_emulate_cpuid(struct vm *vm, int vcpu_id, uint32_t *eax, uint32_t *ebx,
HDvmm.c229 vcpu_init(struct vm *vm, int vcpu_id, bool create) in vcpu_init() argument
233 KASSERT(vcpu_id >= 0 && vcpu_id < VM_MAXCPU, in vcpu_init()
234 ("vcpu_init: invalid vcpu %d", vcpu_id)); in vcpu_init()
236 vcpu = &vm->vcpu[vcpu_id]; in vcpu_init()
240 "initialized", vcpu_id)); in vcpu_init()
248 vcpu->vlapic = VLAPIC_INIT(vm->cookie, vcpu_id); in vcpu_init()
249 vm_set_x2apic_state(vm, vcpu_id, X2APIC_DISABLED); in vcpu_init()
/trueos/sys/x86/xen/
HDxen_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 …]
HDhvm.c613 cpu = PCPU_GET(vcpu_id); in xen_hvm_cpu_init()
/trueos/sys/xen/interface/
HDmem_event.h51 uint32_t vcpu_id; member
HDxenoprof.h80 uint32_t vcpu_id; member
HDsysctl.h559 unsigned int vcpu_id; member
HDdomctl.h703 uint32_t vcpu_id; /* any vcpu in an event? */ member
/trueos/sys/i386/xen/
HDmptable.c91 PCPU_SET(vcpu_id, 0); in mptable_setup_local()
/trueos/sys/dev/xen/timer/
HDtimer.c399 int cpu = PCPU_GET(vcpu_id); in xentimer_et_start()
436 int cpu = PCPU_GET(vcpu_id); in xentimer_et_stop()