src/mainboard/system76/whl-u/acpi/tbt.asl

   1 /* SPDX-License-Identifier: GPL-2.0-only */
   2
   3 // See https://docs.microsoft.com/en-us/windows-hardware/drivers/pci/dsd-for-pcie-root-ports
   4 Scope(\_SB.PCI0.RP05) {
   5         Method(_DSD, 0, NotSerialized) {
   6                 Return (Package(4) {
   7                         // https://docs.microsoft.com/en-us/windows-hardware/drivers/pci/dsd-for-pcie-root-ports#identifying-pcie-root-ports-supporting-hot-plug-in-d3
   8                         ToUUID("6211e2c0-58a3-4af3-90e1-927a4e0c55a4"),
   9                         Package(1) {
  10                                 Package(2) {
  11                                         "HotPlugSupportInD3",
  12                                         1
  13                                 }
  14                         },
  15                         // https://docs.microsoft.com/en-us/windows-hardware/drivers/pci/dsd-for-pcie-root-ports#identifying-externally-exposed-pcie-root-ports
  16                         ToUUID("efcc06cc-73ac-4bc3-bff0-76143807c389"),
  17                         Package(2) {
  18                                 Package(2) {
  19                                         "ExternalFacingPort",
  20                                         1
  21                                 },
  22                                 Package(2) {
  23                                         "UID",
  24                                         0
  25                                 }
  26                         }
  27                 })
  28         }
  29 }