Searched refs:VCPU_IDLE (Results 1 – 3 of 3) sorted by relevance
313 case VCPU_IDLE: in vcpu_state2str()351 vcpu->state = VCPU_IDLE; in vcpu_alloc()1359 while (vcpu->state != VCPU_IDLE) { in vcpu_set_state_locked()1367 KASSERT(vcpu->state != VCPU_IDLE, ("invalid transition from " in vcpu_set_state_locked()1386 case VCPU_IDLE: in vcpu_set_state_locked()1411 if (newstate == VCPU_IDLE) in vcpu_set_state_locked()
176 vcpu_set_state(vcpu, VCPU_IDLE, false); in vcpu_unlock_one()
374 VCPU_IDLE, enumerator