usbf_close_pipe   138 dev/usb/usbf.h void		 usbf_close_pipe(usbf_pipe_handle);
usbf_close_pipe   137 dev/usb/usbf_subr.c 		usbf_close_pipe(dev->default_pipe);
usbf_close_pipe   202 dev/usb/usbf_subr.c 		usbf_close_pipe(dev->default_pipe);
usbf_close_pipe   214 dev/usb/usbf_subr.c 		usbf_close_pipe(dev->default_pipe);