ohci_timeout      178 dev/usb/ohci.c void		ohci_timeout(void *);
ohci_timeout     1751 dev/usb/ohci.c                 timeout_set(&xfer->timeout_handle, ohci_timeout, xfer);
ohci_timeout     2932 dev/usb/ohci.c                 timeout_set(&xfer->timeout_handle, ohci_timeout, xfer);