Searched refs:twd_timer_setup (Results 1 – 1 of 1) sorted by relevance
218 static void twd_timer_setup(void) in twd_timer_setup() function 261 twd_timer_setup(); in twd_timer_starting_cpu() 301 twd_timer_setup(); in twd_local_timer_common_register() 303 late_time_init = twd_timer_setup; in twd_local_timer_common_register()