Home
last modified time | relevance | path

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

/linux-6.12.1/drivers/clocksource/
Darm_arch_timer.c76 static const char *arch_timer_ppi_names[ARCH_TIMER_MAX_TIMER_PPI] = { variable
1437 irq = of_irq_get_byname(np, arch_timer_ppi_names[i]); in arch_timer_of_init()