vm_alloc_vcpu
vcpu = vm_alloc_vcpu(sc->vm, vcpuid);
struct vcpu *vm_alloc_vcpu(struct vm *vm, int vcpuid);