From 9e9b17fba7a9b41a0a26dececeedbffa916c29bb Mon Sep 17 00:00:00 2001
From: Olivier Houchard <cognet@FreeBSD.org>
Date: Thu, 1 Nov 2012 12:26:31 +0000
Subject: [PATCH] Fix build for SMP.

Submitted by:	Giovanni Trematerra <gianni at freebsd DOT org>
---
 sys/arm/mv/armadaxp/armadaxp_mp.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sys/arm/mv/armadaxp/armadaxp_mp.c b/sys/arm/mv/armadaxp/armadaxp_mp.c
index ee37b03b9cc..ec7efb61c2b 100644
--- a/sys/arm/mv/armadaxp/armadaxp_mp.c
+++ b/sys/arm/mv/armadaxp/armadaxp_mp.c
@@ -179,7 +179,7 @@ platform_mp_start_ap(void)
 
 	for (cpu_num = 1; cpu_num < mp_ncpus; cpu_num++ )
 		bus_space_write_4(fdtbus_bs_tag, CPU_PMU(cpu_num), CPU_PMU_BOOT,
-		    pmap_kextract(mpentry));
+		    pmap_kextract((vm_offset_t)mpentry));
 
 	cpu_idcache_wbinv_all();