Searched refs:VIRT_PPI (Results 1 – 1 of 1) sorted by relevance
61 VIRT_PPI, enumerator275 clk->irq = arch_timer_ppi[VIRT_PPI]; in __arch_timer_setup()354 enable_percpu_irq(arch_timer_ppi[VIRT_PPI], 0); in arch_timer_setup()502 disable_percpu_irq(arch_timer_ppi[VIRT_PPI]); in arch_timer_stop()574 ppi = arch_timer_ppi[VIRT_PPI]; in arch_timer_register()614 free_percpu_irq(arch_timer_ppi[VIRT_PPI], arch_timer_evt); in arch_timer_register()709 if (is_hyp_mode_available() || !arch_timer_ppi[VIRT_PPI]) { in arch_timer_init()858 arch_timer_ppi[VIRT_PPI] = in arch_timer_acpi_init()