Searched refs:virtual_irq (Results 1 – 3 of 3) sorted by relevance
76 int virtual_irq; member
747 if (info->virtual_irq <= 0) { in kvm_timer_hyp_init()749 info->virtual_irq); in kvm_timer_hyp_init()752 host_vtimer_irq = info->virtual_irq; in kvm_timer_hyp_init()
1208 arch_timer_kvm_info.virtual_irq = arch_timer_ppi[ARCH_TIMER_VIRT_PPI]; in arch_timer_of_init()1538 arch_timer_kvm_info.virtual_irq = arch_timer_ppi[ARCH_TIMER_VIRT_PPI]; in arch_timer_acpi_init()
