tag	line	file	source code
restore_cur	1067	kernel/chr_drv/console.c	restore_cur(currcons);
restore_cur	1219	kernel/chr_drv/console.c	restore_cur(currcons);