vga_io_rgfx
oldmode = vga_io_rgfx(VGA_GFX_MODE);
return vga_io_rgfx(VGA_GFX_BIT_MASK);
oldop = vga_io_rgfx(VGA_GFX_DATA_ROTATE);
oldsr = vga_io_rgfx(VGA_GFX_SR_ENABLE);
oldcolor = vga_io_rgfx(VGA_GFX_SR_VALUE);