ohci_device_ctrl_close  152 dev/usb/ohci.c void		ohci_device_ctrl_close(usbd_pipe_handle);
ohci_device_ctrl_close  283 dev/usb/ohci.c 	ohci_device_ctrl_close,