[PATCH v3 02/17] ARM64 / ACPI: Get RSDP and ACPI boot-time tables

On Tue, 9 Sep 2014 17:26:49 +0100, Catalin Marinas [off-list ref] wrote:

On Mon, Sep 01, 2014 at 03:57:40PM +0100, Hanjun Guo wrote:

quoted

diff --git a/arch/arm64/kernel/setup.c b/arch/arm64/kernel/setup.c
index c96172a..fb7cc0e 100644
--- a/arch/arm64/kernel/setup.c
+++ b/arch/arm64/kernel/setup.c

@@ -43,6 +43,7 @@
 #include <linux/of_fdt.h>
 #include <linux/of_platform.h>
 #include <linux/efi.h>
+#include <linux/acpi.h>
 
 #include <asm/fixmap.h>
 #include <asm/cpu.h>

@@ -385,6 +386,9 @@ void __init setup_arch(char **cmdline_p)
 	efi_init();
 	arm64_memblock_init();
 
+	/* Parse the ACPI tables for possible boot-time configuration */
+	acpi_boot_table_init();

Is there any dummy acpi_boot_table_init() when !CONFIG_ACPI? I couldn't
see one in this patch, so I don't see how this would compile when ACPI
is disabled.

It's in include/linux/acpi.h in the !CONFIG_ACPI section.

g.