Symbol: vcpu_require_state
usr/src/uts/intel/io/vmm/vmm.c
2564
vcpu_require_state(vm, vcpuid, VCPU_RUNNING);
usr/src/uts/intel/io/vmm/vmm.c
2566
vcpu_require_state(vm, vcpuid, VCPU_FROZEN);