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()
289 vcpu->state = VCPU_IDLE; in vcpu_alloc()1102 while (vcpu->state != VCPU_IDLE) { in vcpu_set_state_locked()1107 KASSERT(vcpu->state != VCPU_IDLE, ("invalid transition from " in vcpu_set_state_locked()1126 case VCPU_IDLE: in vcpu_set_state_locked()1148 if (newstate == VCPU_IDLE) in vcpu_set_state_locked()
186 VCPU_IDLE, enumerator
317 case VCPU_IDLE: in vcpu_state2str()355 vcpu->state = VCPU_IDLE; in vcpu_alloc()1005 while (vcpu->state != VCPU_IDLE) { in vcpu_set_state_locked()1013 KASSERT(vcpu->state != VCPU_IDLE, ("invalid transition from " in vcpu_set_state_locked()1032 case VCPU_IDLE: in vcpu_set_state_locked()1057 if (newstate == VCPU_IDLE) in vcpu_set_state_locked()
205 VCPU_IDLE, enumerator
349 VCPU_IDLE, enumerator
104 vcpu_set_state(vcpu, VCPU_IDLE, false); in vcpu_unlock_one()