Searched refs:arch_timer_select_ppi (Results 1 – 1 of 1) sorted by relevance
1397 static enum arch_timer_ppi_nr __init arch_timer_select_ppi(void) in arch_timer_select_ppi() function1460 arch_timer_uses_ppi = arch_timer_select_ppi(); in arch_timer_of_init()1777 arch_timer_uses_ppi = arch_timer_select_ppi(); in arch_timer_acpi_init()