Symbol: vga_set_palette
drivers/video/console/vgacon.c
667
vga_set_palette(vc, table);
drivers/video/console/vgacon.c
810
vga_set_palette(c, color_table);