uhci_intr1       1144 dev/usb/uhci.c int uhci_intr1(uhci_softc_t *);
uhci_intr1       1160 dev/usb/uhci.c 	return (uhci_intr1(sc));
uhci_intr1       1509 dev/usb/uhci.c 			uhci_intr1(sc);
uhci_intr1       1534 dev/usb/uhci.c 		uhci_intr1(sc);