Searched refs:blank_timer_expired (Results 1 – 1 of 1) sorted by relevance
219 static int blank_timer_expired; variable2397 if (blank_timer_expired) { in console_callback()2399 blank_timer_expired = 0; in console_callback()3635 blank_timer_expired = 0; in do_blank_screen()3720 blank_timer_expired = 1; in blank_screen_t()3740 blank_timer_expired = 0; in poke_blanked_console()