Searched refs:clock_tick_single_threaded (Results 1 – 1 of 1) sorted by relevance
137 int clock_tick_single_threaded; variable176 clock_tick_single_threaded = 1; in clock_tick_init_pre()256 clock_tick_single_threaded = 0; in clock_tick_init_post()435 if (clock_tick_single_threaded) { in clock_tick_schedule()