/* SPDX-License-Identifier: GPL-2.0-or-later */ #include #include /* PCIE device */ #include "pcie.asl" /* LPSS device */ #include "lpss.asl" /* PCI IRQ assignment */ #include "pci_irqs.asl" /* GPIO controller */ #include "gpio.asl" #include "xhci.asl" /* LPC */ #include /* eMMC */ #include "scs.asl" /* PMC IPC controller */ #include "pmc_ipc.asl" /* PCI _OSC */ #include /* SGX */ #include