xref: /barrelfish-master/usr/drivers/usb/usb_manager/controller/ehci/usb_ehci_bus.c