vcpu_require_state
vcpu_require_state(vm, vcpuid, VCPU_RUNNING);
vcpu_require_state(vm, vcpuid, VCPU_FROZEN);