Symbol: VRK_RESET
usr/src/lib/libvmmapi/common/vmmapi.c
1541
vvr.kind = VRK_RESET;
usr/src/uts/intel/io/vmm/vmm_sol_dev.c
1177
if (vvr.kind != VRK_RESET && vvr.kind != VRK_INIT) {