default_vtimer_irq   37 virt/kvm/arm/arch_timer.c static const struct kvm_irq_level default_vtimer_irq = {
default_vtimer_irq  708 virt/kvm/arm/arch_timer.c 	vtimer->irq.irq = default_vtimer_irq.irq;