tag	line	file	source code
insert_char	781	kernel/chr_drv/console.c	insert_char(currcons);
insert_char	909	kernel/chr_drv/console.c	insert_char(currcons);