| /* SPDX-License-Identifier: GPL-2.0-only */ | |
| /* This file is part of the coreboot project. */ | |
| /* 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" | |
| } |