ohci_root_ctrl_close  140 dev/usb/ohci.c void		ohci_root_ctrl_close(usbd_pipe_handle);
ohci_root_ctrl_close  265 dev/usb/ohci.c 	ohci_root_ctrl_close,