36 static unsigned int host_vtimer_irq;  variable
100 		disable_percpu_irq(host_vtimer_irq);  in kvm_arch_timer_handler()
450 	r = irq_set_irqchip_state(host_vtimer_irq, IRQCHIP_STATE_ACTIVE, active);  in set_vtimer_irq_phys_active()
481 		disable_percpu_irq(host_vtimer_irq);  in kvm_timer_vcpu_load_nogic()
483 		enable_percpu_irq(host_vtimer_irq, host_vtimer_irq_flags);  in kvm_timer_vcpu_load_nogic()
574 			enable_percpu_irq(host_vtimer_irq, host_vtimer_irq_flags);  in unmask_vtimer_irq_user()
653 	enable_percpu_irq(host_vtimer_irq, host_vtimer_irq_flags);  in kvm_timer_init_interrupt()
730 	disable_percpu_irq(host_vtimer_irq);  in kvm_timer_dying_cpu()
752 	host_vtimer_irq = info->virtual_irq;  in kvm_timer_hyp_init()
754 	host_vtimer_irq_flags = irq_get_trigger_type(host_vtimer_irq);  in kvm_timer_hyp_init()
758 			host_vtimer_irq);  in kvm_timer_hyp_init()
762 	err = request_percpu_irq(host_vtimer_irq, kvm_arch_timer_handler,  in kvm_timer_hyp_init()
766 			host_vtimer_irq, err);  in kvm_timer_hyp_init()
771 		err = irq_set_vcpu_affinity(host_vtimer_irq,  in kvm_timer_hyp_init()
781 	kvm_debug("virtual timer IRQ%d\n", host_vtimer_irq);  in kvm_timer_hyp_init()
788 	free_percpu_irq(host_vtimer_irq, kvm_get_running_vcpus());  in kvm_timer_hyp_init()
860 	ret = kvm_vgic_map_phys_irq(vcpu, host_vtimer_irq, vtimer->irq.irq,  in kvm_timer_enable()