1/* SPDX-License-Identifier: GPL-2.0 */
2/*
3 * Copyright (C) 2016 Intel Corporation
4 */
5
6/* PCIe Ports */
7
8Device (RP01)
9{
10	Name (_ADR, 0x00140000)
11	Name (_DDN, "PCIe-B 0")
12
13	#include "pcie_port.asl"
14}
15
16Device (RP03)
17{
18	Name (_ADR, 0x00130000)
19	Name (_DDN, "PCIe-A 0")
20
21	#include "pcie_port.asl"
22}
23