Home
last modified time | relevance | path

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

/drivers/clocksource/
Darm_arch_timer.c30 PHYS_SECURE_PPI, enumerator
150 clk->irq = arch_timer_ppi[PHYS_SECURE_PPI]; in arch_timer_setup()
165 enable_percpu_irq(arch_timer_ppi[PHYS_SECURE_PPI], 0); in arch_timer_setup()
248 disable_percpu_irq(arch_timer_ppi[PHYS_SECURE_PPI]); in arch_timer_stop()
332 ppi = arch_timer_ppi[PHYS_SECURE_PPI]; in arch_timer_register()
340 free_percpu_irq(arch_timer_ppi[PHYS_SECURE_PPI], in arch_timer_register()
370 free_percpu_irq(arch_timer_ppi[PHYS_SECURE_PPI], in arch_timer_register()
397 for (i = PHYS_SECURE_PPI; i < MAX_TIMER_PPI; i++) in arch_timer_init()
413 if (!arch_timer_ppi[PHYS_SECURE_PPI] || in arch_timer_init()