diff --git a/arch/arm64/kernel/acpi.c b/arch/arm64/kernel/acpi.c
index 0e59370bb2152767ec0589ead1ca66bc194c4bcb..b51ffac3b38de4cb9086c3fa7e1e0b845b0d9f00 100644
--- a/arch/arm64/kernel/acpi.c
+++ b/arch/arm64/kernel/acpi.c
@@ -31,6 +31,7 @@
 #include <asm/cputype.h>
 #include <asm/cpu_ops.h>
 #include <asm/daifflags.h>
+#include <asm/numa.h>
 #include <asm/smp_plat.h>
 
 int acpi_noirq = 1;		/* skip ACPI IRQ initialization */