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