uhci_reset        137 dev/usb/uhci.c void		uhci_reset(uhci_softc_t *);
uhci_reset        391 dev/usb/uhci.c 	uhci_reset(sc);