Searched refs:host_vtimer_irq_flags (Results 1 – 1 of 1) sorted by relevance
37 static u32 host_vtimer_irq_flags; variable483 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()754 host_vtimer_irq_flags = irq_get_trigger_type(host_vtimer_irq); in kvm_timer_hyp_init()755 if (host_vtimer_irq_flags != IRQF_TRIGGER_HIGH && in kvm_timer_hyp_init()756 host_vtimer_irq_flags != IRQF_TRIGGER_LOW) { in kvm_timer_hyp_init()759 host_vtimer_irq_flags = IRQF_TRIGGER_LOW; in kvm_timer_hyp_init()