Home
last modified time | relevance | path

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

/linux/drivers/clocksource/
A Darm_arch_timer.c838 clk->irq = arch_timer_ppi[arch_timer_uses_ppi]; in __arch_timer_setup()
946 arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI]); in arch_timer_has_nonsecure_ppi()
1108 disable_percpu_irq(arch_timer_ppi[arch_timer_uses_ppi]); in arch_timer_stop()
1179 ppi = arch_timer_ppi[arch_timer_uses_ppi]; in arch_timer_register()
1190 ppi = arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI]; in arch_timer_register()
1371 arch_timer_ppi[i] = irq; in arch_timer_of_init()
1394 if (!arch_timer_ppi[arch_timer_uses_ppi]) { in arch_timer_of_init()
1692 arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI] = in arch_timer_acpi_init()
1695 arch_timer_ppi[ARCH_TIMER_VIRT_PPI] = in arch_timer_acpi_init()
1698 arch_timer_ppi[ARCH_TIMER_HYP_PPI] = in arch_timer_acpi_init()
[all …]
/linux/
A DSystem.map83703 ffff8000116ae5f0 d arch_timer_ppi
A D.tmp_System.map83703 ffff8000116ae5f0 d arch_timer_ppi

Completed in 359 milliseconds