PS2Device pDev = new PS2Device(ps2, PS2_POINTER_DEV); pDev.setDriver(new PS2PointerDriver(ps2)); devMan.register(pDev);
if (ps2.testMouse()) { PS2Device pDev = new PS2Device(ps2, PS2_POINTER_DEV); pDev.setDriver(new PS2PointerDriver(ps2)); devMan.register(pDev); } log.debug("ps2stat 0x" + NumberUtils.hex(ps2.readStatus(), 2));
	public void findDevices(DeviceManager devMan, Bus bus) throws DeviceException {		try {			log.debug("Searching for PS2 devices");			final PS2Bus ps2 = new PS2Bus(bus);			// register the keyboard device			PS2Device kbDev = new PS2Device(ps2, PS2_KEYBOARD_DEV);			kbDev.setDriver(new PS2KeyboardDriver(ps2));			devMan.register(kbDev);			// register the keyboard device			PS2Device pDev = new PS2Device(ps2, PS2_POINTER_DEV);			pDev.setDriver(new PS2PointerDriver(ps2));			devMan.register(pDev);		} catch (DriverException ex) {			log.debug("Error searching for PS2 devices: " + ex);			throw new DeviceException(ex);		}	}