host_vtimer_irq    25 virt/kvm/arm/arch_timer.c static unsigned int host_vtimer_irq;
host_vtimer_irq   108 virt/kvm/arm/arch_timer.c 	if (irq == host_vtimer_irq)
host_vtimer_irq   118 virt/kvm/arm/arch_timer.c 		disable_percpu_irq(host_vtimer_irq);
host_vtimer_irq   518 virt/kvm/arm/arch_timer.c 		disable_percpu_irq(host_vtimer_irq);
host_vtimer_irq   520 virt/kvm/arm/arch_timer.c 		enable_percpu_irq(host_vtimer_irq, host_vtimer_irq_flags);
host_vtimer_irq   623 virt/kvm/arm/arch_timer.c 			enable_percpu_irq(host_vtimer_irq, host_vtimer_irq_flags);
host_vtimer_irq   711 virt/kvm/arm/arch_timer.c 	vtimer->host_timer_irq = host_vtimer_irq;
host_vtimer_irq   723 virt/kvm/arm/arch_timer.c 	enable_percpu_irq(host_vtimer_irq, host_vtimer_irq_flags);
host_vtimer_irq   892 virt/kvm/arm/arch_timer.c 	disable_percpu_irq(host_vtimer_irq);
host_vtimer_irq   916 virt/kvm/arm/arch_timer.c 	host_vtimer_irq = info->virtual_irq;
host_vtimer_irq   918 virt/kvm/arm/arch_timer.c 	host_vtimer_irq_flags = irq_get_trigger_type(host_vtimer_irq);
host_vtimer_irq   922 virt/kvm/arm/arch_timer.c 			host_vtimer_irq);
host_vtimer_irq   926 virt/kvm/arm/arch_timer.c 	err = request_percpu_irq(host_vtimer_irq, kvm_arch_timer_handler,
host_vtimer_irq   930 virt/kvm/arm/arch_timer.c 			host_vtimer_irq, err);
host_vtimer_irq   935 virt/kvm/arm/arch_timer.c 		err = irq_set_vcpu_affinity(host_vtimer_irq,
host_vtimer_irq   945 virt/kvm/arm/arch_timer.c 	kvm_debug("virtual timer IRQ%d\n", host_vtimer_irq);
host_vtimer_irq   989 virt/kvm/arm/arch_timer.c 	free_percpu_irq(host_vtimer_irq, kvm_get_running_vcpus());