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