Use the Kconfig generated CONFIG_HAS_ACPI defines in the code base.
Signed-off-by: Doug Goldstein <cardoe@cardoe.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
CFLAGS-$(perfc) += -DPERF_COUNTERS
CFLAGS-$(perfc_arrays) += -DPERF_ARRAYS
CFLAGS-$(lock_profile) += -DLOCK_PROFILE
-CFLAGS-$(HAS_ACPI) += -DHAS_ACPI
CFLAGS-$(HAS_GDBSX) += -DHAS_GDBSX
CFLAGS-$(HAS_MEM_ACCESS) += -DHAS_MEM_ACCESS
CFLAGS-$(HAS_MEM_PAGING) += -DHAS_MEM_PAGING
config X86
def_bool y
+ select HAS_ACPI
select HAS_IOPORTS
select HAS_NS16550
select HAS_PASSTHROUGH
########################################
# x86-specific definitions
-HAS_ACPI := y
HAS_NUMA := y
HAS_VGA := y
HAS_VIDEO := y
op->u.availheap.avail_bytes <<= PAGE_SHIFT;
break;
-#ifdef HAS_ACPI
+#ifdef CONFIG_HAS_ACPI
case XEN_SYSCTL_get_pmstat:
ret = do_get_pm_info(&op->u.get_pmstat);
break;
menu "Device Drivers"
+source "drivers/acpi/Kconfig"
+
source "drivers/char/Kconfig"
source "drivers/passthrough/Kconfig"
subdir-$(HAS_CPUFREQ) += cpufreq
subdir-$(CONFIG_HAS_PCI) += pci
subdir-$(CONFIG_HAS_PASSTHROUGH) += passthrough
-subdir-$(HAS_ACPI) += acpi
+subdir-$(CONFIG_HAS_ACPI) += acpi
subdir-$(HAS_VIDEO) += video
--- /dev/null
+
+# Select HAS_ACPI if ACPI is supported
+config HAS_ACPI
+ bool