Symbol: __set_cpu_idle
arch/s390/kvm/interrupt.c
1275
__set_cpu_idle(vcpu);
arch/s390/kvm/interrupt.c
1283
__set_cpu_idle(vcpu);