default_ptimer_irq   32 virt/kvm/arm/arch_timer.c static const struct kvm_irq_level default_ptimer_irq = {
default_ptimer_irq  709 virt/kvm/arm/arch_timer.c 	ptimer->irq.irq = default_ptimer_irq.irq;