is_vcpu_idle     2837 arch/s390/kvm/kvm-s390.c 	if (vcpu->arch.cputm_enabled && !is_vcpu_idle(vcpu))
is_vcpu_idle     2845 arch/s390/kvm/kvm-s390.c 	if (vcpu->arch.cputm_enabled && !is_vcpu_idle(vcpu))
is_vcpu_idle       75 arch/s390/kvm/sigp.c 	idle = is_vcpu_idle(vcpu);