ckc_irq_pending
return ckc_irq_pending(vcpu) || cpu_timer_irq_pending(vcpu);
if (ckc_irq_pending(vcpu))