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