997 vcpu_set_state_locked(struct vcpu *vcpu, enum vcpu_state newstate,  in vcpu_set_state_locked()  argument
1040 		error = (newstate != VCPU_FROZEN);  in vcpu_set_state_locked()
1043 		error = (newstate == VCPU_FROZEN);  in vcpu_set_state_locked()
1054 	    vcpu_state2str(vcpu->state), vcpu_state2str(newstate));  in vcpu_set_state_locked()
1056 	vcpu->state = newstate;  in vcpu_set_state_locked()
1057 	if (newstate == VCPU_RUNNING)  in vcpu_set_state_locked()
1062 	if (newstate == VCPU_IDLE)  in vcpu_set_state_locked()
1069 vcpu_require_state(struct vcpu *vcpu, enum vcpu_state newstate)  in vcpu_require_state()  argument
1073 	if ((error = vcpu_set_state(vcpu, newstate, false)) != 0)  in vcpu_require_state()
1074 		panic("Error %d setting state to %d\n", error, newstate);  in vcpu_require_state()
1078 vcpu_require_state_locked(struct vcpu *vcpu, enum vcpu_state newstate)  in vcpu_require_state_locked()  argument
1082 	if ((error = vcpu_set_state_locked(vcpu, newstate, false)) != 0)  in vcpu_require_state_locked()
1083 		panic("Error %d setting state to %d", error, newstate);  in vcpu_require_state_locked()
2107 vcpu_set_state(struct vcpu *vcpu, enum vcpu_state newstate, bool from_idle)  in vcpu_set_state()  argument
2112 	error = vcpu_set_state_locked(vcpu, newstate, from_idle);  in vcpu_set_state()