From 175a0c9859cb478569b682349ebbb66e8e1c5f9d Mon Sep 17 00:00:00 2001
From: Rui Paulo <rpaulo@FreeBSD.org>
Date: Sun, 7 Jul 2013 19:22:31 +0000
Subject: [PATCH] armadaxp_idcache_wbinv_all() is in this file.

---
 sys/arm/arm/elf_trampoline.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/sys/arm/arm/elf_trampoline.c b/sys/arm/arm/elf_trampoline.c
index 51bbe34f01d..70f736ddbc9 100644
--- a/sys/arm/arm/elf_trampoline.c
+++ b/sys/arm/arm/elf_trampoline.c
@@ -93,7 +93,6 @@ extern void xscalec3_cache_purgeID(void);
 extern void armv6_idcache_wbinv_all(void);
 #else
 #define cpu_idcache_wbinv_all()	armadaxp_idcache_wbinv_all
-extern void armadaxp_idcache_wbinv_all(void);
 #endif
 #endif /* CPU_MV_PJ4B */
 #ifdef CPU_XSCALE_81342
@@ -110,6 +109,8 @@ extern void armv7_idcache_wbinv_all(void);
 #define cpu_l2cache_wbinv_all()	
 #endif
 
+static void armadaxp_idcache_wbinv_all(void);
+
 int     arm_picache_size;
 int     arm_picache_line_size;
 int     arm_picache_ways;