Searched refs:arch_timer_ppi (Results 1 – 1 of 1) sorted by relevance
844 clk->irq = arch_timer_ppi[arch_timer_uses_ppi]; in __arch_timer_setup()961 arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI]); in arch_timer_has_nonsecure_ppi()1123 disable_percpu_irq(arch_timer_ppi[arch_timer_uses_ppi]); in arch_timer_stop()1194 ppi = arch_timer_ppi[arch_timer_uses_ppi]; in arch_timer_register()1205 ppi = arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI]; in arch_timer_register()1386 arch_timer_ppi[i] = irq; in arch_timer_of_init()1409 if (!arch_timer_ppi[arch_timer_uses_ppi]) { in arch_timer_of_init()1707 arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI] = in arch_timer_acpi_init()1710 arch_timer_ppi[ARCH_TIMER_VIRT_PPI] = in arch_timer_acpi_init()1713 arch_timer_ppi[ARCH_TIMER_HYP_PPI] = in arch_timer_acpi_init()[all …]
Completed in 8 milliseconds