Searched refs:host_vtimer_irq (Results 1 – 1 of 1) sorted by relevance
35 static unsigned int host_vtimer_irq; variable330 map = kvm_vgic_map_phys_irq(vcpu, irq->irq, host_vtimer_irq); in kvm_timer_vcpu_reset()349 enable_percpu_irq(host_vtimer_irq, 0); in kvm_timer_init_interrupt()399 disable_percpu_irq(host_vtimer_irq); in kvm_timer_cpu_notify()447 host_vtimer_irq = ppi; in kvm_timer_hyp_init()