Searched refs:host_vtimer_irq (Results 1 – 1 of 1) sorted by relevance
36 static unsigned int host_vtimer_irq; variable100 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()[all …]