28 static unsigned int host_ptimer_irq;  variable
1005 		ctxt->host_timer_irq = host_ptimer_irq;  in timer_context_init()
1040 	if (host_ptimer_irq)  in kvm_timer_cpu_up()
1041 		enable_percpu_irq(host_ptimer_irq, host_ptimer_irq_flags);  in kvm_timer_cpu_up()
1047 	if (host_ptimer_irq)  in kvm_timer_cpu_down()
1048 		disable_percpu_irq(host_ptimer_irq);  in kvm_timer_cpu_down()
1359 		host_ptimer_irq = info->physical_irq;  in kvm_irq_init()
1360 		kvm_irq_fixup_flags(host_ptimer_irq, &host_ptimer_irq_flags);  in kvm_irq_init()
1363 			WARN_ON(irq_domain_push_irq(domain, host_ptimer_irq,  in kvm_irq_init()
1413 		err = request_percpu_irq(host_ptimer_irq, kvm_arch_timer_handler,  in kvm_timer_hyp_init()
1417 				host_ptimer_irq, err);  in kvm_timer_hyp_init()
1422 			err = irq_set_vcpu_affinity(host_ptimer_irq,  in kvm_timer_hyp_init()
1430 		kvm_debug("physical timer IRQ%d\n", host_ptimer_irq);  in kvm_timer_hyp_init()
1442 		free_percpu_irq(host_ptimer_irq, kvm_get_running_vcpus());  in kvm_timer_hyp_init()