Searched refs:arch_timer_configure_evtstream (Results 1 – 1 of 1) sorted by relevance
937 static void arch_timer_configure_evtstream(void) in arch_timer_configure_evtstream() function1021 arch_timer_configure_evtstream(); in arch_timer_starting_cpu()