device_run_interrupts
device_run_interrupts(usb_pci_root);
void device_run_interrupts(device_t parent);