Searched refs:VIRT_PPI (Results 1 – 1 of 1) sorted by relevance
61 VIRT_PPI, enumerator267 clk->irq = arch_timer_ppi[VIRT_PPI]; in __arch_timer_setup()346 enable_percpu_irq(arch_timer_ppi[VIRT_PPI], 0); in arch_timer_setup()494 disable_percpu_irq(arch_timer_ppi[VIRT_PPI]); in arch_timer_stop()566 ppi = arch_timer_ppi[VIRT_PPI]; in arch_timer_register()606 free_percpu_irq(arch_timer_ppi[VIRT_PPI], arch_timer_evt); in arch_timer_register()701 if (is_hyp_mode_available() || !arch_timer_ppi[VIRT_PPI]) { in arch_timer_init()850 arch_timer_ppi[VIRT_PPI] = in arch_timer_acpi_init()