__set_cpu_idle   1204 arch/s390/kvm/interrupt.c 		__set_cpu_idle(vcpu);
__set_cpu_idle   1212 arch/s390/kvm/interrupt.c 	__set_cpu_idle(vcpu);