tag	line	file	source code
reset_terminal	183	drivers/char/console.c	static void reset_terminal(int currcons, int do_clear);
reset_terminal	1588	drivers/char/console.c	reset_terminal(currcons,1);
reset_terminal	1908	drivers/char/console.c	reset_terminal(currcons, do_clear);