/* poll_console_switch: * Checks whether a switch is needed and not blocked; if so, * makes the switch. */ static void poll_console_switch (void) { if (console_active == console_should_be_active) return; if (console_should_be_active) come_back(); else go_away(); }
/* poll_console_switch: * Checks whether a switch is needed and not blocked; if so, * makes the switch. */ static void poll_console_switch (void) { if (console_active == console_should_be_active) return; if (__al_linux_switching_blocked) return; __al_linux_switching_blocked++; if (console_should_be_active) come_back(); else go_away(); }