Cross Reference: /barrelfish-master/usr/drivers/usb/usb_manager/controller/ohci/usb_ohci

Cross Reference: usb_ohci_bus.c

xref: /barrelfish-master/usr/drivers/usb/usb_manager/controller/ohci/usb_ohci_bus.c