diff --git a/sys/powerpc/booke/booke_machdep.c b/sys/powerpc/booke/booke_machdep.c
index 5512cc491e6d..418d4d7327d2 100644
--- a/sys/powerpc/booke/booke_machdep.c
+++ b/sys/powerpc/booke/booke_machdep.c
@@ -201,7 +201,7 @@ extern void *int_performance_counter;
 	mtspr(ivor, (uintptr_t)(&handler) & 0xffffUL);
 
 uintptr_t powerpc_init(vm_offset_t fdt, vm_offset_t, vm_offset_t, void *mdp,
-    vm_offset_t mdp_cookie);
+    uint32_t mdp_cookie);
 void booke_cpu_init(void);
 
 void
diff --git a/sys/powerpc/powerpc/machdep.c b/sys/powerpc/powerpc/machdep.c
index 85db11ba1d5d..1f594306683e 100644
--- a/sys/powerpc/powerpc/machdep.c
+++ b/sys/powerpc/powerpc/machdep.c
@@ -155,7 +155,7 @@ SYSCTL_INT(_machdep, CPU_CACHELINE, cacheline_size,
 	   CTLFLAG_RD, &cacheline_size, 0, "");
 
 uintptr_t	powerpc_init(vm_offset_t, vm_offset_t, vm_offset_t, void *,
-		    vm_offset_t);
+		    uint32_t);
 
 long		Maxmem = 0;
 long		realmem = 0;
@@ -234,7 +234,7 @@ void booke_cpu_init(void);
 
 uintptr_t
 powerpc_init(vm_offset_t fdt, vm_offset_t toc, vm_offset_t ofentry, void *mdp,
-    vm_offset_t mdp_cookie)
+    uint32_t mdp_cookie)
 {
 	struct		pcpu *pc;
 	struct cpuref	bsp;