Symbol: vm_alloc_vcpu
sys/dev/vmm/vmm_dev.c
490
vcpu = vm_alloc_vcpu(sc->vm, vcpuid);
sys/dev/vmm/vmm_vm.h
159
struct vcpu *vm_alloc_vcpu(struct vm *vm, int vcpuid);