Searched refs:host_ptimer_irq (Results 1 – 1 of 1) sorted by relevance
26 static unsigned int host_ptimer_irq; variable793 ptimer->host_timer_irq = host_ptimer_irq; in kvm_timer_vcpu_init()802 enable_percpu_irq(host_ptimer_irq, host_ptimer_irq_flags); in kvm_timer_init_interrupt()1030 host_ptimer_irq = info->physical_irq; in kvm_timer_hyp_init()1031 host_ptimer_irq_flags = irq_get_trigger_type(host_ptimer_irq); in kvm_timer_hyp_init()1035 host_ptimer_irq); in kvm_timer_hyp_init()1039 err = request_percpu_irq(host_ptimer_irq, kvm_arch_timer_handler, in kvm_timer_hyp_init()1043 host_ptimer_irq, err); in kvm_timer_hyp_init()1048 err = irq_set_vcpu_affinity(host_ptimer_irq, in kvm_timer_hyp_init()1056 kvm_debug("physical timer IRQ%d\n", host_ptimer_irq); in kvm_timer_hyp_init()