Searched refs:blank_timer_expired (Results 1 – 1 of 1) sorted by relevance
231 static int blank_timer_expired; variable 3226 if (blank_timer_expired) { in console_callback() 3228 blank_timer_expired = 0; in console_callback() 4589 blank_timer_expired = 0; in do_blank_screen() 4675 blank_timer_expired = 1; in blank_screen_t() 4695 blank_timer_expired = 0; in poke_blanked_console()