taglinefilesource code
color_table270kernel/chr_drv/console.cstatic unsigned char color_table[] = { 0, 4, 2, 6, 1, 5, 3, 7,
color_table652kernel/chr_drv/console.ccolor = color_table[par[i]-30]
color_table655kernel/chr_drv/console.ccolor = (color_table[par[i]-40]<<4)
color_table776kernel/chr_drv/console.culcolor = color_table[par[1]];
color_table783kernel/chr_drv/console.chalfcolor = color_table[par[1]];