uhci_device_intr_close  193 dev/usb/uhci.c void		uhci_device_intr_close(usbd_pipe_handle);
uhci_device_intr_close  313 dev/usb/uhci.c 	uhci_device_intr_close,