xhci_pci_takecontroller
xhci_pci_takecontroller(psc, 0);
void xhci_pci_takecontroller(struct xhci_pci_softc *, int);