Index: kernel/arch/ppc64/include/memstr.h
===================================================================
--- kernel/arch/ppc64/include/memstr.h	(revision f4c2b6a104d4ab9ce057413b12ff1efedcba0fcd)
+++ kernel/arch/ppc64/include/memstr.h	(revision c05a50f0decf2abb14cd4d0101cd06a0477db5c2)
@@ -38,8 +38,8 @@
 #define memcpy(dst, src, cnt)  __builtin_memcpy((dst), (src), (cnt))
 
-extern void memsetw(uintptr_t dst, size_t cnt, uint16_t x);
-extern void memsetb(uintptr_t dst, size_t cnt, uint8_t x);
+extern void memsetw(void *dst, size_t cnt, uint16_t x);
+extern void memsetb(void *dst, size_t cnt, uint8_t x);
 
-extern int memcmp(uintptr_t src, uintptr_t dst, int cnt);
+extern int memcmp(const void *a, const void *b, size_t cnt);
 
 #endif
Index: kernel/arch/ppc64/src/mm/page.c
===================================================================
--- kernel/arch/ppc64/src/mm/page.c	(revision f4c2b6a104d4ab9ce057413b12ff1efedcba0fcd)
+++ kernel/arch/ppc64/src/mm/page.c	(revision c05a50f0decf2abb14cd4d0101cd06a0477db5c2)
@@ -253,5 +253,5 @@
 void pht_init(void)
 {
-	memsetb((uintptr_t) phte, 1 << PHT_BITS, 0);
+	memsetb(phte, 1 << PHT_BITS, 0);
 }