acpi_gic: Add helper for platform gicc
[coreboot2.git] / src / mainboard / asrock / fatal1ty_z87_professional / dsdt.asl
blob488998a506d170ce0976e4fc64af64f6abcedc3e
1 /* SPDX-License-Identifier: GPL-2.0-only */
4 #include <acpi/acpi.h>
6 DefinitionBlock(
7         "dsdt.aml",
8         "DSDT",
9         ACPI_DSDT_REV_2,
10         OEM_ID,
11         ACPI_TABLE_CREATOR,
12         0x20141018
15         #include <acpi/dsdt_top.asl>
16         #include "acpi/platform.asl"
17         #include <cpu/intel/common/acpi/cpu.asl>
18         #include <southbridge/intel/common/acpi/platform.asl>
19         /* global NVS and variables. */
20         #include <southbridge/intel/lynxpoint/acpi/globalnvs.asl>
21         #include <southbridge/intel/common/acpi/sleepstates.asl>
23         Device (\_SB.PCI0)
24         {
25                 #include <northbridge/intel/haswell/acpi/hostbridge.asl>
26                 #include <southbridge/intel/lynxpoint/acpi/pch.asl>
27         }