ohci_usb_reset    497 drivers/usb/host/ohci-hcd.c 		ohci_usb_reset (ohci);
ohci_usb_reset    921 drivers/usb/host/ohci-hcd.c 		ohci_usb_reset (ohci);
ohci_usb_reset   1000 drivers/usb/host/ohci-hcd.c 	ohci_usb_reset(ohci);
ohci_usb_reset   1132 drivers/usb/host/ohci-hcd.c 		ohci_usb_reset(ohci);