ohci_dump_itd     194 dev/usb/ohci.c void		ohci_dump_itd(ohci_soft_itd_t *);
ohci_dump_itd    1984 dev/usb/ohci.c 		ohci_dump_itd(sitd);