tag	line	file	source code
newvt	552	drivers/char/vt.c	int newvt = vt_cons[console].vt_newvt;
newvt	554	drivers/char/vt.c	complete_change_console(newvt);