Home
last modified time | relevance | path

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

/linux-6.1.9/drivers/clocksource/
Darm_arch_timer.c73 static int arch_timer_ppi[ARCH_TIMER_MAX_TIMER_PPI] __ro_after_init; variable
843 clk->irq = arch_timer_ppi[arch_timer_uses_ppi]; in __arch_timer_setup()
960 arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI]); in arch_timer_has_nonsecure_ppi()
983 flags = check_ppi_trigger(arch_timer_ppi[arch_timer_uses_ppi]); in arch_timer_starting_cpu()
984 enable_percpu_irq(arch_timer_ppi[arch_timer_uses_ppi], flags); in arch_timer_starting_cpu()
987 flags = check_ppi_trigger(arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI]); in arch_timer_starting_cpu()
988 enable_percpu_irq(arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI], in arch_timer_starting_cpu()
1122 disable_percpu_irq(arch_timer_ppi[arch_timer_uses_ppi]); in arch_timer_stop()
1124 disable_percpu_irq(arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI]); in arch_timer_stop()
1193 ppi = arch_timer_ppi[arch_timer_uses_ppi]; in arch_timer_register()
[all …]