ehci_intr1        142 dev/usb/ehci.c int		ehci_intr1(ehci_softc_t *);
ehci_intr1        534 dev/usb/ehci.c 	return (ehci_intr1(sc));
ehci_intr1        865 dev/usb/ehci.c 			ehci_intr1(sc);
ehci_intr1        893 dev/usb/ehci.c 		ehci_intr1(sc);