vga_set_palette   888 drivers/video/console/vgacon.c 	vga_set_palette(vc, table);
vga_set_palette  1030 drivers/video/console/vgacon.c 			vga_set_palette(c, color_table);