/* __al_linux_console_text: * Returns the console to text mode. */ int __al_linux_console_text (void) { int ret; if (!graphics_mode) return 0; /* shouldn't happen */ ioctl(__al_linux_console_fd, KDSETMODE, KD_TEXT); do { ret = write(__al_linux_console_fd, "\e[H\e[J\e[0m", 10); if ((ret < 0) && (errno != EINTR)) break; } while (ret < 10); graphics_mode = 0; __al_linux_display_switch_lock(FALSE, FALSE); __al_linux_leave_console(); return 0; }
static void sys_linux_restore_console_state(void) { __al_linux_leave_console(); }