Searched refs:virtual_irq (Results 1 – 3 of 3) sorted by relevance
66 int virtual_irq; member
1062 if (info->virtual_irq <= 0) { in kvm_irq_init()1064 info->virtual_irq); in kvm_irq_init()1068 host_vtimer_irq = info->virtual_irq; in kvm_irq_init()
1345 arch_timer_kvm_info.virtual_irq = arch_timer_ppi[ARCH_TIMER_VIRT_PPI]; in arch_timer_populate_kvm_info()
Completed in 9 milliseconds