Searched refs:VCPU_IDLE (Results 1 – 7 of 7) sorted by relevance
190 vcpu->state = VCPU_IDLE; in vcpu_alloc()823 while (vcpu->state != VCPU_IDLE) { in vcpu_set_state_locked()828 KASSERT(vcpu->state != VCPU_IDLE, ("invalid transition from " in vcpu_set_state_locked()847 case VCPU_IDLE: in vcpu_set_state_locked()869 if (newstate == VCPU_IDLE) in vcpu_set_state_locked()
290 vcpu->state = VCPU_IDLE; in vcpu_alloc()1120 while (vcpu->state != VCPU_IDLE) { in vcpu_set_state_locked()1125 KASSERT(vcpu->state != VCPU_IDLE, ("invalid transition from " in vcpu_set_state_locked()1144 case VCPU_IDLE: in vcpu_set_state_locked()1166 if (newstate == VCPU_IDLE) in vcpu_set_state_locked()
317 case VCPU_IDLE: in vcpu_state2str()355 vcpu->state = VCPU_IDLE; in vcpu_alloc()1010 while (vcpu->state != VCPU_IDLE) { in vcpu_set_state_locked()1018 KASSERT(vcpu->state != VCPU_IDLE, ("invalid transition from " in vcpu_set_state_locked()1037 case VCPU_IDLE: in vcpu_set_state_locked()1062 if (newstate == VCPU_IDLE) in vcpu_set_state_locked()
186 VCPU_IDLE, enumerator
206 VCPU_IDLE, enumerator
349 VCPU_IDLE, enumerator
120 vcpu_set_state(vcpu, VCPU_IDLE, false); in vcpu_unlock_one()