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