Home
last modified time | relevance | path

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

/linux-4.1.27/drivers/clocksource/
Darm_arch_timer.c59 PHYS_SECURE_PPI, enumerator
279 clk->irq = arch_timer_ppi[PHYS_SECURE_PPI]; in __arch_timer_setup()
356 enable_percpu_irq(arch_timer_ppi[PHYS_SECURE_PPI], 0); in arch_timer_setup()
504 disable_percpu_irq(arch_timer_ppi[PHYS_SECURE_PPI]); in arch_timer_stop()
578 ppi = arch_timer_ppi[PHYS_SECURE_PPI]; in arch_timer_register()
586 free_percpu_irq(arch_timer_ppi[PHYS_SECURE_PPI], in arch_timer_register()
616 free_percpu_irq(arch_timer_ppi[PHYS_SECURE_PPI], in arch_timer_register()
712 if (!arch_timer_ppi[PHYS_SECURE_PPI] || in arch_timer_init()
733 for (i = PHYS_SECURE_PPI; i < MAX_TIMER_PPI; i++) in arch_timer_of_init()
850 arch_timer_ppi[PHYS_SECURE_PPI] = in arch_timer_acpi_init()