Fix build for SMP.

Submitted by:	Giovanni Trematerra <gianni at freebsd DOT org>
This commit is contained in:
Olivier Houchard 2012-11-01 12:26:31 +00:00
parent e8da8c744b
commit 9e9b17fba7

View File

@ -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();