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