Searched refs:mini_screen_time (Results 1 – 3 of 3) sorted by relevance
30 int mini_screen_time = 0; variable
30 extern int mini_screen_flags, mini_screen_time;
1670 && real_time > mini_screen_time) { in print_stats()1672 mini_screen_time = real_time + 1000; in print_stats()