1 /* SPDX-License-Identifier: GPL-2.0-or-later */
3 #include <console/console.h>
4 #include <intelblocks/lpc_lib.h>
6 void lpc_soc_init(struct device
*dev
)
8 printk(BIOS_SPEW
, "pch: lpc_init\n");
10 /* FSP configures IOAPIC and PCHInterrupt Config */
11 /* Should read back the ID to fill ACPI IOAPIC accordingly. */