VCPU_SLEEPING
case VCPU_SLEEPING:
vcpu_require_state_locked(vm, vcpuid, VCPU_SLEEPING);
vcpu_require_state_locked(vm, vcpuid, VCPU_SLEEPING);
case VCPU_SLEEPING:
if (vcpu->state == VCPU_SLEEPING) {