Searched refs:arch_timer_ppi_names (Results 1 – 1 of 1) sorted by relevance
76 static const char *arch_timer_ppi_names[ARCH_TIMER_MAX_TIMER_PPI] = { variable1437 irq = of_irq_get_byname(np, arch_timer_ppi_names[i]); in arch_timer_of_init()