From: Al Stone al.stone@linaro.org
GUFI needs to be initialized after ACPI tables are read, and after the DT has been unflattened, but before devices get configured. Insert the proper call to gufi_init() in setup_arch().
Signed-off-by: Al Stone al.stone@linaro.org --- arch/arm64/kernel/setup.c | 5 +++++ 1 file changed, 5 insertions(+)
diff --git a/arch/arm64/kernel/setup.c b/arch/arm64/kernel/setup.c index e1c9a8b..b00dbeb 100644 --- a/arch/arm64/kernel/setup.c +++ b/arch/arm64/kernel/setup.c @@ -43,6 +43,7 @@ #include <linux/of_platform.h> #include <linux/efi.h> #include <linux/acpi.h> +#include <linux/gufi.h>
#include <asm/fixmap.h> #include <asm/cputype.h> @@ -290,6 +291,10 @@ void __init setup_arch(char **cmdline_p)
psci_init();
+#ifdef CONFIG_GUFI + gufi_init(); +#endif + cpu_logical_map(0) = read_cpuid_mpidr() & MPIDR_HWID_BITMASK; #ifdef CONFIG_SMP smp_init_cpus();