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