Searched refs:tc_min_ticktock_freq (Results 1 – 3 of 3) sorted by relevance
82 extern int tc_min_ticktock_freq; /*
239 if (tc_min_ticktock_freq > 1 in getnextcpuevent()244 hardfreq = hz / tc_min_ticktock_freq; in getnextcpuevent()
102 int tc_min_ticktock_freq = 1; variable1460 tc_min_ticktock_freq = max(1, tc->tc_frequency / in tc_windup()