final void processQueues() { int status;  while (((status = readStatus()) & AUX_STAT_OBF) != 0) {
private final void processQueues() { int status; int loops = 0; while (((status = readStatus()) & STAT_OBF) != 0) { if (++loops > 1000) { log.error("A lot of PS2 data, probably wrong"); }
	final void processQueues() {		int status;		//System.out.print('<');		while (((status = readStatus()) & AUX_STAT_OBF) != 0) {			final int data = readData();			// determine which driver shall handle the scancode			final PS2ByteChannel channel;			if ((status & STAT_MOUSE_OBF) != 0) {				channel = mouseChannel;			} else {				channel = kbChannel;			}			// if this driver is not registered, merely exit			if (channel == null) {				log.debug("Unhandled scancode 0x" + Integer.toHexString(data) + " status=0x" + Integer.toHexString(status));			} else {				// let the driver handle the scancode				channel.handleScancode(data);			}		}		//System.out.print('>');	}