ohci_device_isoc_close  170 dev/usb/ohci.c void		ohci_device_isoc_close(usbd_pipe_handle);
ohci_device_isoc_close  310 dev/usb/ohci.c 	ohci_device_isoc_close,