tag	line	file	source code
update_screen	1156	drivers/char/console.c	update_screen(par[1]-1);
update_screen	557	drivers/char/tty_io.c	update_screen(new_console);
update_screen	337	include/linux/tty.h	extern void update_screen(int new_console);