ohci_device_intr_close  164 dev/usb/ohci.c void		ohci_device_intr_close(usbd_pipe_handle);
ohci_device_intr_close  292 dev/usb/ohci.c 	ohci_device_intr_close,