vcpu_id
fbsdrun_addcpu(vcpu_id(vcpu), suspend);
struct vm_entry *entry = &vmentry[vcpu_id(vcpu)];
struct vm_entry *entry = &vmentry[vcpu_id(vcpu)];
struct vm_entry *entry = &vmentry[vcpu_id(vcpu)];
struct vm_entry *entry = &vmentry[vcpu_id(vcpu)];
vme->u.msr.code, vcpu_id(vcpu));
vme->u.msr.code, vme->u.msr.wval, vcpu_id(vcpu));
fprintf(stderr, "vm exit[%d]\n", vcpu_id(vcpu));
EPRINTLN("vm exit[%d]", vcpu_id(vcpu));
EPRINTLN("vm exit[%d]", vcpu_id(vcpu));
int vcpuid = vcpu_id(vcpu);
assert(CPU_ISSET(vcpu_id(vcpu), &active_cpus));
ventry = vmentry_vcpu(vcpu_id(vcpu));
int vcpuid = vcpu_id(vcpu);
vcpuid = vcpu_id(vcpu);
vs = &vcpu_state[vcpu_id(vcpu)];
vcpuid = vcpu_id(vcpu);
vcpuid = vcpu_id(vcpu);
vcpuid = vcpu_id(vcpu);
vcpuid = vcpu_id(vcpu);
int vcpuid = vcpu_id(vcpu);
.vcpuid = vcpu_id(vcpu),
.vdx_vcpuid = vcpu_id(vcpu),
int vcpuid = vcpu_id(vcpu);
int vcpuid = vcpu_id(vcpu);
int vcpuid = vcpu_id(vcpu);
int vcpuid = vcpu_id(vcpu);
int vcpu_id(struct vcpu *vcpu);
vcpu_init(struct vm *vm, int vcpu_id, bool create)
KASSERT(vcpu_id >= 0 && vcpu_id < vm->maxcpus,
("vcpu_init: invalid vcpu %d", vcpu_id));
vcpu = &vm->vcpu[vcpu_id];
vcpu->vtc.vtc_vcpuid = vcpu_id;
vcpu_ustate_change(vm, vcpu_id, VU_INIT);
vcpu->vlapic = VLAPIC_INIT(vm->cookie, vcpu_id);
(void) vm_set_x2apic_state(vm, vcpu_id, X2APIC_DISABLED);
legacy_emulate_cpuid(struct vm *vm, int vcpu_id, uint32_t *eax, uint32_t *ebx,
regs[0] = vcpu_id;
(vcpu_id >> log2(threads + 1));
error = vm_get_x2apic_state(vm, vcpu_id, &x2apic_state);
regs[1] |= (vcpu_id << CPUID_0000_0001_APICID_SHIFT);
error = vm_get_capability(vm, vcpu_id,
x2apic_id = vcpu_id;
x2apic_id = vcpu_id;