ckc_irq_pending  1145 arch/s390/kvm/interrupt.c 	return ckc_irq_pending(vcpu) || cpu_timer_irq_pending(vcpu);
ckc_irq_pending  1279 arch/s390/kvm/interrupt.c 	if (ckc_irq_pending(vcpu))