ps3_ohci_driver_unregister 1334 drivers/usb/host/ohci-hcd.c 	ps3_ohci_driver_unregister(&PS3_SYSTEM_BUS_DRIVER);
ps3_ohci_driver_unregister 1360 drivers/usb/host/ohci-hcd.c 	ps3_ohci_driver_unregister(&PS3_SYSTEM_BUS_DRIVER);