ohci_intr1       1082 dev/usb/ohci.c int ohci_intr1(ohci_softc_t *);
ohci_intr1       1104 dev/usb/ohci.c 	return (ohci_intr1(sc));
ohci_intr1       1616 dev/usb/ohci.c 			ohci_intr1(sc);
ohci_intr1       1644 dev/usb/ohci.c 		ohci_intr1(sc);