ehci_device_intr_close  183 dev/usb/ehci.c void		ehci_device_intr_close(usbd_pipe_handle);
ehci_device_intr_close  294 dev/usb/ehci.c 	ehci_device_intr_close,