Searched refs:blank_timer_expired (Results 1 – 1 of 1) sorted by relevance
236 static int blank_timer_expired; variable2842 if (blank_timer_expired) { in console_callback()2844 blank_timer_expired = 0; in console_callback()4222 blank_timer_expired = 0; in do_blank_screen()4306 blank_timer_expired = 1; in blank_screen_t()4326 blank_timer_expired = 0; in poke_blanked_console()