Searched refs:tc_min_ticktock_freq (Results 1 – 3 of 3) sorted by relevance
84 extern int tc_min_ticktock_freq; /*
243 if (tc_min_ticktock_freq > 2 in getnextcpuevent()248 hardfreq = hz / tc_min_ticktock_freq; in getnextcpuevent()
101 int tc_min_ticktock_freq = 1; variable1391 tc_min_ticktock_freq = max(1, timecounter->tc_frequency / in tc_windup()