Searched refs:host_vtimer_irq_flags (Results 1 – 1 of 1) sorted by relevance
28 static u32 host_vtimer_irq_flags; variable598 enable_percpu_irq(host_vtimer_irq, host_vtimer_irq_flags); in kvm_timer_vcpu_load_nogic()702 enable_percpu_irq(host_vtimer_irq, host_vtimer_irq_flags); in unmask_vtimer_irq_user()796 vtimer->host_timer_irq_flags = host_vtimer_irq_flags; in kvm_timer_vcpu_init()802 enable_percpu_irq(host_vtimer_irq, host_vtimer_irq_flags); in kvm_timer_init_interrupt()1069 kvm_irq_fixup_flags(host_vtimer_irq, &host_vtimer_irq_flags); in kvm_irq_init()
