VCPU_IDLE
while (vcpu->state != VCPU_IDLE) {
KASSERT(vcpu->state != VCPU_IDLE, ("invalid transition from "
case VCPU_IDLE:
if (newstate == VCPU_IDLE) {
case VCPU_IDLE:
case VCPU_IDLE:
vcpu->state = VCPU_IDLE;
VERIFY0(vcpu_set_state(sc->vmm_vm, vcpu, VCPU_IDLE, false));