Searched refs:host_ptimer_irq_flags (Results 1 – 1 of 1) sorted by relevance
28 static u32 host_ptimer_irq_flags; variable796 ptimer->host_timer_irq_flags = host_ptimer_irq_flags; in kvm_timer_vcpu_init()802 enable_percpu_irq(host_ptimer_irq, host_ptimer_irq_flags); in kvm_timer_init_interrupt()1031 host_ptimer_irq_flags = irq_get_trigger_type(host_ptimer_irq); in kvm_timer_hyp_init()1032 if (host_ptimer_irq_flags != IRQF_TRIGGER_HIGH && in kvm_timer_hyp_init()1033 host_ptimer_irq_flags != IRQF_TRIGGER_LOW) { in kvm_timer_hyp_init()1036 host_ptimer_irq_flags = IRQF_TRIGGER_LOW; in kvm_timer_hyp_init()
