1 /* SPDX-License-Identifier: GPL-2.0-only */
5 Name (_ADR, 0x00140000)
6 Name (_PRW, Package () { 0x0d, 3 })
7 Name (_S3D, 3) /* Highest D state in S3 state */
11 Name (_ADR, 0x00000000)
12 Device (PRT1) { Name (_ADR, 1) }
13 Device (PRT2) { Name (_ADR, 2) }
14 Device (PRT3) { Name (_ADR, 3) }
15 Device (PRT4) { Name (_ADR, 4) }