drivers/ipmi/ocp: Add missing include
[coreboot.git] / src / mainboard / system76 / whl-u / acpi / tbt.asl
blob56c2c9b9913c71feb2cd9a34c3b5cb395caf4be0
1 /* SPDX-License-Identifier: GPL-2.0-only */
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         }