ohci_root_intr_close  146 dev/usb/ohci.c void		ohci_root_intr_close(usbd_pipe_handle);
ohci_root_intr_close  274 dev/usb/ohci.c 	ohci_root_intr_close,