tag	line	file	source code
halfcolor	498	kernel/chr_drv/console.c	attr = (attr & 0xf0) | halfcolor;
halfcolor	717	kernel/chr_drv/console.c	halfcolor = color_table[par[1]];
halfcolor	1322	kernel/chr_drv/console.c	halfcolor  = 0x08;   /* grey */