ohci_dumpregs     190 dev/usb/ohci.c void		ohci_dumpregs(ohci_softc_t *);
ohci_dumpregs     807 dev/usb/ohci.c 		ohci_dumpregs(sc);
ohci_dumpregs     858 dev/usb/ohci.c 		ohci_dumpregs(sc);
ohci_dumpregs     977 dev/usb/ohci.c 	ohci_dumpregs(sc);
ohci_dumpregs    1613 dev/usb/ohci.c 			ohci_dumpregs(sc);
ohci_dumpregs    1761 dev/usb/ohci.c 		ohci_dumpregs(sc);