Searched refs:setup_core_timer (Results 1 – 1 of 1) sorted by relevance
48 void __init setup_core_timer(void) in setup_core_timer() function78 setup_core_timer(); in time_sched_init()