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