Symbol: PCI_XHCI_INTEL_USB3_PSSEN
sys/dev/usb/controller/xhci_pci.c
278
temp = pci_read_config(self, PCI_XHCI_INTEL_USB3_PSSEN, 4) |
sys/dev/usb/controller/xhci_pci.c
288
pci_write_config(self, PCI_XHCI_INTEL_USB3_PSSEN, temp & usb3_mask, 4);