25 static unsigned int host_vtimer_irq;  variable
108 	if (irq == host_vtimer_irq)  in kvm_arch_timer_handler()
118 		disable_percpu_irq(host_vtimer_irq);  in kvm_arch_timer_handler()
518 		disable_percpu_irq(host_vtimer_irq);  in kvm_timer_vcpu_load_nogic()
520 		enable_percpu_irq(host_vtimer_irq, host_vtimer_irq_flags);  in kvm_timer_vcpu_load_nogic()
623 			enable_percpu_irq(host_vtimer_irq, host_vtimer_irq_flags);  in unmask_vtimer_irq_user()
711 	vtimer->host_timer_irq = host_vtimer_irq;  in kvm_timer_vcpu_init()
723 	enable_percpu_irq(host_vtimer_irq, host_vtimer_irq_flags);  in kvm_timer_init_interrupt()
891 	disable_percpu_irq(host_vtimer_irq);  in kvm_timer_dying_cpu()
915 	host_vtimer_irq = info->virtual_irq;  in kvm_timer_hyp_init()
917 	host_vtimer_irq_flags = irq_get_trigger_type(host_vtimer_irq);  in kvm_timer_hyp_init()
921 			host_vtimer_irq);  in kvm_timer_hyp_init()
925 	err = request_percpu_irq(host_vtimer_irq, kvm_arch_timer_handler,  in kvm_timer_hyp_init()
929 			host_vtimer_irq, err);  in kvm_timer_hyp_init()
934 		err = irq_set_vcpu_affinity(host_vtimer_irq,  in kvm_timer_hyp_init()
944 	kvm_debug("virtual timer IRQ%d\n", host_vtimer_irq);  in kvm_timer_hyp_init()
988 	free_percpu_irq(host_vtimer_irq, kvm_get_running_vcpus());  in kvm_timer_hyp_init()