ehci_timeout      146 dev/usb/ehci.c void		ehci_timeout(void *);
ehci_timeout     2870 dev/usb/ehci.c 		timeout_set(&xfer->timeout_handle, ehci_timeout, xfer);
ehci_timeout     2981 dev/usb/ehci.c 		timeout_set(&xfer->timeout_handle, ehci_timeout, xfer);
ehci_timeout     3155 dev/usb/ehci.c 		timeout_set(&xfer->timeout_handle, ehci_timeout, xfer);
ehci_timeout     3250 dev/usb/ehci.c 			timeout_set(&xfer->timeout_handle, ehci_timeout, xfer);