1106 vcpu_set_state_locked(struct vcpu *vcpu, enum vcpu_state newstate,  in vcpu_set_state_locked()  argument
1146 		error = (newstate != VCPU_FROZEN);  in vcpu_set_state_locked()
1149 		error = (newstate == VCPU_FROZEN);  in vcpu_set_state_locked()
1159 	vcpu->state = newstate;  in vcpu_set_state_locked()
1160 	if (newstate == VCPU_RUNNING)  in vcpu_set_state_locked()
1165 	if (newstate == VCPU_IDLE)  in vcpu_set_state_locked()
1172 vcpu_require_state(struct vcpu *vcpu, enum vcpu_state newstate)  in vcpu_require_state()  argument
1176 	if ((error = vcpu_set_state(vcpu, newstate, false)) != 0)  in vcpu_require_state()
1177 		panic("Error %d setting state to %d\n", error, newstate);  in vcpu_require_state()
1181 vcpu_require_state_locked(struct vcpu *vcpu, enum vcpu_state newstate)  in vcpu_require_state_locked()  argument
1185 	if ((error = vcpu_set_state_locked(vcpu, newstate, false)) != 0)  in vcpu_require_state_locked()
1186 		panic("Error %d setting state to %d", error, newstate);  in vcpu_require_state_locked()
1232 vcpu_set_state(struct vcpu *vcpu, enum vcpu_state newstate, bool from_idle)  in vcpu_set_state()  argument
1237 	error = vcpu_set_state_locked(vcpu, newstate, from_idle);  in vcpu_set_state()