tag	line	file	source code
herc_txt_tbl	2206	drivers/char/console.c	static char herc_txt_tbl[12] = {
herc_txt_tbl	2213	drivers/char/console.c	outb_p(herc_txt_tbl[i], 0x3b5);