1 extern int console_visible; 2 3 int console_switch_init(void (*redraw)(void)); 4 void console_switch_cleanup(void); 5 int check_console_switch(void); 6 7 void console_set_vt(int vtno); 8 void console_restore_vt(void); 9 int console_activate_current(void); 10