Index: sys/dev/usb/xhci.c
===================================================================
RCS file: /cvsroot/src/sys/dev/usb/xhci.c,v
retrieving revision 1.6
diff -p -r1.6 xhci.c
*** sys/dev/usb/xhci.c	4 Nov 2013 08:08:58 -0000	1.6
--- sys/dev/usb/xhci.c	6 Nov 2013 22:09:03 -0000
*************** xhci_init(struct xhci_softc *sc)
*** 606,611 ****
--- 606,612 ----
  	sc->sc_maxports = XHCI_HCS1_MAXPORTS(hcs1);
  	hcs2 = xhci_cap_read_4(sc, XHCI_HCSPARAMS2);
  	hcs3 = xhci_cap_read_4(sc, XHCI_HCSPARAMS3);
+ 	__USE(hcs3); /* for now */
  	hcc = xhci_cap_read_4(sc, XHCI_HCCPARAMS);
  
  	sc->sc_ac64 = XHCI_HCC_AC64(hcc);
*************** xhci_init_slot(struct xhci_softc * const
*** 1851,1856 ****
--- 1852,1861 ----
  		xspeed = 4;
  		mps = USB_3_MAX_CTRL_PACKET;
  		break;
+ 	default:
+ 		device_printf(sc->sc_dev, "%s: impossible speed: %x",
+ 		    __func__, speed);
+ 		return USBD_INVAL;
  	}
  
  	xs = &sc->sc_slots[slot];