25 static unsigned int host_vtimer_irq;  variable
195 	if (irq == host_vtimer_irq)  in kvm_arch_timer_handler()
205 		disable_percpu_irq(host_vtimer_irq);  in kvm_arch_timer_handler()
595 		disable_percpu_irq(host_vtimer_irq);  in kvm_timer_vcpu_load_nogic()
597 		enable_percpu_irq(host_vtimer_irq, host_vtimer_irq_flags);  in kvm_timer_vcpu_load_nogic()
701 			enable_percpu_irq(host_vtimer_irq, host_vtimer_irq_flags);  in unmask_vtimer_irq_user()
792 	vtimer->host_timer_irq = host_vtimer_irq;  in kvm_timer_vcpu_init()
801 	enable_percpu_irq(host_vtimer_irq, host_vtimer_irq_flags);  in kvm_timer_init_interrupt()
972 	disable_percpu_irq(host_vtimer_irq);  in kvm_timer_dying_cpu()
996 	host_vtimer_irq = info->virtual_irq;  in kvm_timer_hyp_init()
998 	host_vtimer_irq_flags = irq_get_trigger_type(host_vtimer_irq);  in kvm_timer_hyp_init()
1002 			host_vtimer_irq);  in kvm_timer_hyp_init()
1006 	err = request_percpu_irq(host_vtimer_irq, kvm_arch_timer_handler,  in kvm_timer_hyp_init()
1010 			host_vtimer_irq, err);  in kvm_timer_hyp_init()
1015 		err = irq_set_vcpu_affinity(host_vtimer_irq,  in kvm_timer_hyp_init()
1025 	kvm_debug("virtual timer IRQ%d\n", host_vtimer_irq);  in kvm_timer_hyp_init()
1069 	free_percpu_irq(host_vtimer_irq, kvm_get_running_vcpus());  in kvm_timer_hyp_init()