vcpu_vm
vhpet = vm_hpet(vcpu_vm(vcpu));
vhpet = vm_hpet(vcpu_vm(vcpu));
vioapic = vm_ioapic(vcpu_vm(vcpu));
vioapic = vm_ioapic(vcpu_vm(vcpu));
vioapic = vm_ioapic(vcpu_vm(vcpu));
active = vm_active_cpus(vcpu_vm(vcpu));
vm_await_start(vcpu_vm(vcpu), dmask);
*dmask = vm_start_cpus(vcpu_vm(vcpu), dmask);
error = (*handler)(vcpu_vm(vcpu), vmexit->u.inout.in,
VCPU_CTR4(vcpu_vm(vcpu), vcpu_vcpuid(vcpu), "%s%s 0x%04x: %s",
struct vm *vm = vcpu_vm(vcpu);
vm = vcpu_vm(vcpu);
vm = vcpu_vm(vcpu);
vm_name(vcpu_vm(vcpu)), vcpu_vcpuid(vcpu), state);
struct vm *vm = vcpu_vm(vcpu);
return (_vm_gpa_hold(vcpu_vm(vcpu), gpa, len, reqprot, cookie));