Home
last modified time | relevance | path

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

/linux-4.4.14/drivers/clocksource/
Darm_arch_timer.c59 PHYS_SECURE_PPI, enumerator
271 clk->irq = arch_timer_ppi[PHYS_SECURE_PPI]; in __arch_timer_setup()
348 enable_percpu_irq(arch_timer_ppi[PHYS_SECURE_PPI], 0); in arch_timer_setup()
496 disable_percpu_irq(arch_timer_ppi[PHYS_SECURE_PPI]); in arch_timer_stop()
570 ppi = arch_timer_ppi[PHYS_SECURE_PPI]; in arch_timer_register()
578 free_percpu_irq(arch_timer_ppi[PHYS_SECURE_PPI], in arch_timer_register()
608 free_percpu_irq(arch_timer_ppi[PHYS_SECURE_PPI], in arch_timer_register()
704 if (!arch_timer_ppi[PHYS_SECURE_PPI] || in arch_timer_init()
725 for (i = PHYS_SECURE_PPI; i < MAX_TIMER_PPI; i++) in arch_timer_of_init()
842 arch_timer_ppi[PHYS_SECURE_PPI] = in arch_timer_acpi_init()