| /* SPDX-License-Identifier: GPL-2.0-only */ | |
| /* This file is part of the coreboot project. */ | |
| Device (XHCI) | |
| { | |
| Name (_ADR, 0x00140000) | |
| Name (_PRW, Package () { 0x0d, 3 }) | |
| Name (_S3D, 3) /* Highest D state in S3 state */ | |
| Device (RHUB) | |
| { | |
| Name (_ADR, 0x00000000) | |
| Device (PRT1) { Name (_ADR, 1) } | |
| Device (PRT2) { Name (_ADR, 2) } | |
| Device (PRT3) { Name (_ADR, 3) } | |
| Device (PRT4) { Name (_ADR, 4) } | |
| } | |
| } |