io.unlock();
	public void restoreToVGA(VgaIO vgaIO) {		final NVidiaVgaIO io = (NVidiaVgaIO) vgaIO;		super.restoreToVGA(io);		io.unlock();		if (loaded) {			io.setReg32(NV32_PWRUPCTRL, pwupctrl);			io.setFB(0x200, config);			io.setReg32(NVDAC_CURPOS, cursor2);			io.setReg32(NVDAC_PIXPLLC, vpll);			io.setReg32(NVDAC_PLLSEL, pllsel);			io.setReg32(NVDAC_GENCTRL, general);			io.setReg32(NV_PGRAPH_BOFFSET0, offset);			io.setReg32(NV_PGRAPH_BOFFSET1, offset);			io.setReg32(NV_PGRAPH_BOFFSET2, offset);			io.setReg32(NV_PGRAPH_BOFFSET3, offset);			io.setReg32(NV_PGRAPH_BPITCH0, pitch);			io.setReg32(NV_PGRAPH_BPITCH1, pitch);			io.setReg32(NV_PGRAPH_BPITCH2, pitch);			io.setReg32(NV_PGRAPH_BPITCH3, pitch);		}	}