#include <xen/init.h>
#include <xen/lib.h>
#include <xen/libfdt/libfdt-xen.h>
+#include <xen/mm.h>
#include <xen/param.h>
#include <xen/pfn.h>
#include <asm/fixmap.h>
+#include <xen/acpi.h>
#include <xen/cpu.h>
+#include <xen/device_tree.h>
#include <xen/lib.h>
#include <xen/init.h>
#include <xen/errno.h>
#include <xen/vmap.h>
#include <asm/io.h>
#include <asm/psci.h>
-#include <asm/acpi.h>
struct smp_enable_ops {
int (*prepare_cpu)(int cpu);
#include <xen/acpi.h>
#include <xen/vmap.h>
#include <xen/warning.h>
-#include <acpi/actables.h>
#include <asm/device.h>
#include <asm/kernel.h>
#include <asm/setup.h>
#include <xen/libfdt/libfdt.h>
#include <xen/sizes.h>
#include <xen/acpi.h>
-#include <acpi/actables.h>
#include <asm/p2m.h>
#include <asm/domain.h>
#include <asm/platform.h>
#include <xen/sched.h>
#include <xen/sizes.h>
-#include <acpi/actables.h>
-
#include <asm/cpufeature.h>
#include <asm/device.h>
#include <asm/gic.h>
acpi_disabled = false;
}
#else
-#define acpi_disabled (true)
#define disable_acpi()
#define enable_acpi()
#endif
#include <xen/sizes.h>
#include <xen/vmap.h>
+#include <asm/current.h>
#include <asm/fixmap.h>
#ifdef NDEBUG
#include <xen/sizes.h>
#include <xen/vmap.h>
+#include <asm/setup.h>
#include <asm/fixmap.h>
/* Override macros from asm/page.h to make them work with mfn_t */
*/
+#include <xen/acpi.h>
#include <xen/types.h>
#include <xen/init.h>
#include <xen/mm.h>
* Copyright (c) 2011 Citrix Systems.
*/
+#include <xen/acpi.h>
#include <xen/cpu.h>
#include <xen/cpumask.h>
#include <xen/delay.h>
* Copyright (c) 2011 Citrix Systems.
*/
+#include <xen/acpi.h>
#include <xen/domain_page.h>
#include <xen/errno.h>
#include <xen/hypercall.h>
#include <public/sched.h>
#include <public/xen.h>
-#include <asm/acpi.h>
#include <asm/cpuerrata.h>
#include <asm/cpufeature.h>
#include <asm/event.h>
#include <asm/mem_access.h>
#include <asm/mmio.h>
#include <asm/regs.h>
+#include <asm/setup.h>
#include <asm/smccc.h>
#include <asm/traps.h>
#include <asm/vgic.h>
* Copyright (C) 2022 Arm Ltd.
*/
+#include <xen/acpi.h>
#include <xen/sched.h>
-#include <asm/acpi.h>
/*
* pool_cpu_map: Index is logical cpu number, content is cpupool id, (-1) for
#ifndef __ASSEMBLY__
+#include <xen/errno.h>
#include <xen/list.h>
-#include <acpi/acpi.h>
-#include <asm/acpi.h>
+#include <public/xen.h>
#define ACPI_MADT_GET_(fld, x) (((x) & ACPI_MADT_##fld##_MASK) / \
(ACPI_MADT_##fld##_MASK & -ACPI_MADT_##fld##_MASK))
#ifdef CONFIG_ACPI
+#include <acpi/acpi.h>
+#include <asm/acpi.h>
+
extern acpi_physical_address rsdp_hint;
extern bool opt_acpi_verbose;
#else /*!CONFIG_ACPI*/
#define acpi_mp_config 0
+#define acpi_disabled true
static inline int acpi_boot_init(void)
{