taglinefilesource code
update_screen523drivers/char/tty_io.cupdate_screen(new_console);
update_screen324include/linux/tty.hextern void update_screen(int new_console);