oldcolor 168 drivers/video/fbdev/vga16fb.c int oldcolor; oldcolor 170 drivers/video/fbdev/vga16fb.c oldcolor = vga_io_rgfx(VGA_GFX_SR_VALUE); oldcolor 172 drivers/video/fbdev/vga16fb.c return oldcolor; oldcolor 861 drivers/video/fbdev/vga16fb.c char oldcolor = setcolor(0xf); oldcolor 872 drivers/video/fbdev/vga16fb.c setcolor(oldcolor);