Index: kernel/arch/sparc64/src/mm/as.c
===================================================================
--- kernel/arch/sparc64/src/mm/as.c	(revision f4c2b6a104d4ab9ce057413b12ff1efedcba0fcd)
+++ kernel/arch/sparc64/src/mm/as.c	(revision 51b966b0dcf268c204d4d2eab4bf76a0bd2268ec)
@@ -77,5 +77,5 @@
 	    sizeof(tsb_entry_t));
 
-	memsetb((uintptr_t) as->arch.itsb,
+	memsetb(as->arch.itsb,
 	    (ITSB_ENTRY_COUNT + DTSB_ENTRY_COUNT) * sizeof(tsb_entry_t), 0);
 #endif