user_cpu_state_ctrl  857 arch/s390/include/asm/kvm_host.h 	int user_cpu_state_ctrl;
user_cpu_state_ctrl 3467 arch/s390/kvm/kvm-s390.c 	vcpu->kvm->arch.user_cpu_state_ctrl = 1;
user_cpu_state_ctrl  196 arch/s390/kvm/kvm-s390.h 	return kvm->arch.user_cpu_state_ctrl != 0;