host_ptimer_irq    26 virt/kvm/arm/arch_timer.c static unsigned int host_ptimer_irq;
host_ptimer_irq   712 virt/kvm/arm/arch_timer.c 	ptimer->host_timer_irq = host_ptimer_irq;
host_ptimer_irq   724 virt/kvm/arm/arch_timer.c 	enable_percpu_irq(host_ptimer_irq, host_ptimer_irq_flags);
host_ptimer_irq   950 virt/kvm/arm/arch_timer.c 		host_ptimer_irq = info->physical_irq;
host_ptimer_irq   951 virt/kvm/arm/arch_timer.c 		host_ptimer_irq_flags = irq_get_trigger_type(host_ptimer_irq);
host_ptimer_irq   955 virt/kvm/arm/arch_timer.c 				host_ptimer_irq);
host_ptimer_irq   959 virt/kvm/arm/arch_timer.c 		err = request_percpu_irq(host_ptimer_irq, kvm_arch_timer_handler,
host_ptimer_irq   963 virt/kvm/arm/arch_timer.c 				host_ptimer_irq, err);
host_ptimer_irq   968 virt/kvm/arm/arch_timer.c 			err = irq_set_vcpu_affinity(host_ptimer_irq,
host_ptimer_irq   976 virt/kvm/arm/arch_timer.c 		kvm_debug("physical timer IRQ%d\n", host_ptimer_irq);