tag	line	file	source code
insert_char	1233	drivers/char/console.c	insert_char(currcons);
insert_char	1458	drivers/char/console.c	insert_char(currcons);