Symbol: cpu_timer_irq_pending
arch/s390/kvm/interrupt.c
1207
return ckc_irq_pending(vcpu) || cpu_timer_irq_pending(vcpu);
arch/s390/kvm/interrupt.c
1349
if (cpu_timer_irq_pending(vcpu))