| /* SPDX-License-Identifier: GPL-2.0 */ | |
| /* | |
| * Copyright (C) 2016 Intel Corporation | |
| */ | |
| /* PCIe Ports */ | |
| Device (RP01) | |
| { | |
| Name (_ADR, 0x00140000) | |
| Name (_DDN, "PCIe-B 0") | |
| #include "pcie_port.asl" | |
| } | |
| Device (RP03) | |
| { | |
| Name (_ADR, 0x00130000) | |
| Name (_DDN, "PCIe-A 0") | |
| #include "pcie_port.asl" | |
| } |