Symbol: VRK_INIT
usr/src/uts/intel/io/vmm/vmm_sol_dev.c
1177
if (vvr.kind != VRK_RESET && vvr.kind != VRK_INIT) {
usr/src/uts/intel/io/vmm/vmm_sol_dev.c
1181
error = vcpu_arch_reset(sc->vmm_vm, vcpu, vvr.kind == VRK_INIT);