ohci_device_bulk_close  158 dev/usb/ohci.c void		ohci_device_bulk_close(usbd_pipe_handle);
ohci_device_bulk_close  301 dev/usb/ohci.c 	ohci_device_bulk_close,