Index: kernel/arch/sparc64/src/mm/as.c
===================================================================
--- kernel/arch/sparc64/src/mm/as.c	(revision 6c441cf8f35799043d891a3a77032e1b0e49112b)
+++ 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