Symbol: vcpu_arch_reset
usr/src/uts/intel/io/vmm/sys/vmm_kernel.h
236
int vcpu_arch_reset(struct vm *vm, int vcpuid, bool init_only);
usr/src/uts/intel/io/vmm/vmm.c
1935
VERIFY0(vcpu_arch_reset(vm, vcpuid, true));
usr/src/uts/intel/io/vmm/vmm_sol_dev.c
1181
error = vcpu_arch_reset(sc->vmm_vm, vcpu, vvr.kind == VRK_INIT);