Searched refs:host_vtimer_irq (Results 1 – 1 of 1) sorted by relevance
33 static unsigned int host_vtimer_irq; variable212 enable_percpu_irq(host_vtimer_irq, 0); in kvm_timer_init_interrupt()260 disable_percpu_irq(host_vtimer_irq); in kvm_timer_cpu_notify()308 host_vtimer_irq = ppi; in kvm_timer_hyp_init()