private void dumpDebugInfo() {
final void dumpDebugInfo() {
	private void dumpDebugInfo() {		log.debug("Debug Dump");		log.debug("CSR0 = " + io.getCSR(0));				// stop the device so we can read all registers		io.setCSR(0, CSR0_STOP);				bufferManager.dumpData(log);		int validVMWareLanceRegs[] =			{				0,				1,				2,				3,				4,				5,				8,				9,				10,				11,				12,				13,				14,				15,				24,				25,				30,				31,				58,				76,				77,				80,				82,				88,				89,				112,				124 };		for (int i = 0; i < validVMWareLanceRegs.length; i++) {			int csr_val = io.getCSR(validVMWareLanceRegs[i]);			log.debug(				"CSR"					+ validVMWareLanceRegs[i]					+ " : "					+ NumberUtils.hex(csr_val, 4));		}		// try to start again, not sure if this works?		io.setCSR(0, CSR0_STRT);				/*		for (int k = 0; k <= 22; k++) {			int bcr_val = io.getBCR(k);			log.debug("BCR" + k + " : " + NumberUtils.hex(bcr_val));		}				for (int j = 0; j <= 0x3F; j++) {			int pci_val = device.readConfigByte(j);			log.debug(				"PCI" + NumberUtils.hex(j) + " : " + NumberUtils.hex(pci_val));		}		*/	}