taglinefilesource code
halfcolor924drivers/char/console.cattr = (attr & 0xf0) | halfcolor;
halfcolor1180drivers/char/console.chalfcolor = color_table[par[1]];
halfcolor1896drivers/char/console.chalfcolor       = 0x08;   /* grey */