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 f49b0eaadf4b224dc91c8ee7dec365d4bff11b1c)
@@ -253,5 +253,5 @@
 void pht_init(void)
 {
-	memsetb((uintptr_t) phte, 1 << PHT_BITS, 0);
+	memsetb(phte, 1 << PHT_BITS, 0);
 }