Searched refs:physical_irq (Results 1 – 3 of 3) sorted by relevance
75 int physical_irq; member
1431 if (info->physical_irq > 0) { in kvm_irq_init()1432 host_ptimer_irq = info->physical_irq; in kvm_irq_init()1516 if (info->physical_irq > 0) { in kvm_timer_hyp_init()1537 info->physical_irq); in kvm_timer_hyp_init()1546 if (info->physical_irq > 0) in kvm_timer_hyp_init()
1415 arch_timer_kvm_info.physical_irq = arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI]; in arch_timer_populate_kvm_info()