tag	line	file	source code
reset_terminal	1011	kernel/chr_drv/console.c	reset_terminal(currcons,1);
reset_terminal	1323	kernel/chr_drv/console.c	reset_terminal(currcons, currcons);