usbf_stall_pipe   540 dev/usb/usbf.c 		usbf_stall_pipe(dev->default_pipe);
usbf_stall_pipe   139 dev/usb/usbf.h void		 usbf_stall_pipe(usbf_pipe_handle);