usbd_kill_pipe     78 dev/usb/usb_subr.c void		usbd_kill_pipe(usbd_pipe_handle);
usbd_kill_pipe   1147 dev/usb/usb_subr.c 		usbd_kill_pipe(dev->default_pipe);
usbd_kill_pipe   1306 dev/usb/usb_subr.c 		usbd_kill_pipe(dev->default_pipe);