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