taglinefilesource code
ulcolor872drivers/char/console.cattr = (attr & 0xf0) | ulcolor;
ulcolor1116drivers/char/console.culcolor = color_table[par[1]];
ulcolor1835drivers/char/console.culcolor    = 0x0f;   /* bold white */