Home
last modified time | relevance | path

Searched refs:virtual_irq (Results 1 – 3 of 3) sorted by relevance

/Linux-v5.4/include/clocksource/
Darm_arch_timer.h65 int virtual_irq; member
/Linux-v5.4/virt/kvm/arm/
Darch_timer.c910 if (info->virtual_irq <= 0) { in kvm_timer_hyp_init()
912 info->virtual_irq); in kvm_timer_hyp_init()
915 host_vtimer_irq = info->virtual_irq; in kvm_timer_hyp_init()
/Linux-v5.4/drivers/clocksource/
Darm_arch_timer.c1241 arch_timer_kvm_info.virtual_irq = arch_timer_ppi[ARCH_TIMER_VIRT_PPI]; in arch_timer_populate_kvm_info()