diff --git a/src/arch/arm64/c_entry.c b/src/arch/arm64/c_entry.c
index 869518785b..e2aa4e5fb3 100644
--- a/src/arch/arm64/c_entry.c
+++ b/src/arch/arm64/c_entry.c
@@ -22,6 +22,7 @@
 #include <arch/exception.h>
 #include <arch/mmu.h>
 #include <arch/stages.h>
+#include "cpu-internal.h"
 
 /*
  * This variable holds entry point for CPUs starting up. Before the other
diff --git a/src/arch/arm64/cpu-internal.h b/src/arch/arm64/cpu-internal.h
new file mode 100644
index 0000000000..3773ff23df
--- /dev/null
+++ b/src/arch/arm64/cpu-internal.h
@@ -0,0 +1,29 @@
+/*
+ * This file is part of the coreboot project.
+ *
+ * Copyright 2014 Google Inc.
+ *
+ * This program is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; version 2 of the License.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA, 02110-1301 USA
+ */
+
+#ifndef ARCH_CPU_INTERNAL_H
+#define ARCH_CPU_INTERNAL_H
+
+/* Return the top of the stack for the specified cpu. */
+void *cpu_get_stack(unsigned int cpu);
+
+/* Return the top of the exception stack for the specified cpu. */
+void *cpu_get_exception_stack(unsigned int cpu);
+
+#endif /* ARCH_CPU_INTERNAL_H */
diff --git a/src/arch/arm64/include/armv8/arch/cpu.h b/src/arch/arm64/include/armv8/arch/cpu.h
index 5ce9ba3ab5..b2c28f6d02 100644
--- a/src/arch/arm64/include/armv8/arch/cpu.h
+++ b/src/arch/arm64/include/armv8/arch/cpu.h
@@ -52,12 +52,6 @@ struct cpu_info *cpu_info(void);
  */
 unsigned int smp_processor_id(void);
 
-/* Return the top of the stack for the specified cpu. */
-void *cpu_get_stack(unsigned int cpu);
-
-/* Return the top of the exception stack for the specified cpu. */
-void *cpu_get_exception_stack(unsigned int cpu);
-
 /*
  * Do the necessary work to prepare for secondary CPUs coming up. The
  * SoC will call this function before bringing up the other CPUs. The