taglinefilesource code
color_table253kernel/chr_drv/console.cstatic unsigned char color_table[] = { 0, 4, 2, 6, 1, 5, 3, 7,
color_table566kernel/chr_drv/console.ccolor = color_table[par[i]-30]
color_table569kernel/chr_drv/console.ccolor = (color_table[par[i]-40]<<4)
color_table713kernel/chr_drv/console.culcolor = color_table[par[1]];
color_table720kernel/chr_drv/console.chalfcolor = color_table[par[1]];