ehci_close_pipe   223 dev/usb/ehci.c void		ehci_close_pipe(usbd_pipe_handle, ehci_soft_qh_t *);
ehci_close_pipe  2750 dev/usb/ehci.c 	ehci_close_pipe(pipe, sc->sc_async_head);
ehci_close_pipe  3027 dev/usb/ehci.c 	ehci_close_pipe(pipe, sc->sc_async_head);
ehci_close_pipe  3200 dev/usb/ehci.c 	ehci_close_pipe(pipe, isp->sqh);