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