Searched refs:virtual_irq (Results 1 – 3 of 3) sorted by relevance
67 int virtual_irq; member
1076 if (info->virtual_irq <= 0) { in kvm_irq_init()1078 info->virtual_irq); in kvm_irq_init()1082 host_vtimer_irq = info->virtual_irq; in kvm_irq_init()
1354 arch_timer_kvm_info.virtual_irq = arch_timer_ppi[ARCH_TIMER_VIRT_PPI]; in arch_timer_populate_kvm_info()