vga_io_rgfx       124 drivers/video/fbdev/vga16fb.c 	oldmode = vga_io_rgfx(VGA_GFX_MODE);
vga_io_rgfx       132 drivers/video/fbdev/vga16fb.c 	return vga_io_rgfx(VGA_GFX_BIT_MASK);
vga_io_rgfx       149 drivers/video/fbdev/vga16fb.c 	oldop = vga_io_rgfx(VGA_GFX_DATA_ROTATE);
vga_io_rgfx       160 drivers/video/fbdev/vga16fb.c 	oldsr = vga_io_rgfx(VGA_GFX_SR_ENABLE);
vga_io_rgfx       170 drivers/video/fbdev/vga16fb.c 	oldcolor = vga_io_rgfx(VGA_GFX_SR_VALUE);