set_timer_irqs   1138 virt/kvm/arm/arch_timer.c 		set_timer_irqs(vcpu->kvm, irq, ptimer->irq.irq);
set_timer_irqs   1141 virt/kvm/arm/arch_timer.c 		set_timer_irqs(vcpu->kvm, vtimer->irq.irq, irq);