ohci_close_pipe   183 dev/usb/ohci.c void		ohci_close_pipe(usbd_pipe_handle, ohci_soft_ed_t *);
ohci_close_pipe  2819 dev/usb/ohci.c 	ohci_close_pipe(pipe, sc->sc_ctrl_head);
ohci_close_pipe  2972 dev/usb/ohci.c 	ohci_close_pipe(pipe, sc->sc_bulk_head);
ohci_close_pipe  3440 dev/usb/ohci.c 	ohci_close_pipe(pipe, sc->sc_isoc_head);