Searched refs:arch_timer_ppi_names (Results 1 – 3 of 3) sorted by relevance
75 static const char *arch_timer_ppi_names[ARCH_TIMER_MAX_TIMER_PPI] = { variable1367 irq = of_irq_get_byname(np, arch_timer_ppi_names[i]); in arch_timer_of_init()
81863 ffff800011284af0 d arch_timer_ppi_names
Completed in 317 milliseconds