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);