ehci_sync_hc      221 dev/usb/ehci.c void		ehci_sync_hc(ehci_softc_t *);
ehci_sync_hc     1477 dev/usb/ehci.c 	ehci_sync_hc(sc);
ehci_sync_hc     2493 dev/usb/ehci.c 	ehci_sync_hc(sc);