2 * This file is part of the coreboot project.
5 * This program is free software; you can redistribute it and/or modify
6 * it under the terms of the GNU General Public License as published by
7 * the Free Software Foundation; version 2 of the License.
9 * This program is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 * GNU General Public License for more details.
15 #include <intelblocks/itss.h>
16 #include <intelblocks/pcr.h>
17 #include <soc/iomap.h>
21 #include <soc/pcr_ids.h>
23 /* PCI IRQ assignment */
24 #include "pci_irqs.asl"
29 /* Interrupt Routing */
30 #include "irqlinks.asl"
36 #include "pch_hda.asl"
42 #include <soc/intel/common/acpi/pcr.asl>
48 #include "serialio.asl"
53 /* Storage Controllers */
61 /* Check for proper GUID */
62 If (LEqual (Arg0, ToUUID ("33DB4D5B-1FF7-401C-9657-7441C03DD766")))
64 /* Let OS control everything */
69 /* Unrecognized UUID */
70 CreateDWordField (Arg3, 0, CDW1)
77 #if CONFIG(SOC_INTEL_COMMON_BLOCK_SGX)
78 #include <soc/intel/common/acpi/sgx.asl>