Index: kernel/arch/sparc64/src/mm/as.c
===================================================================
--- kernel/arch/sparc64/src/mm/as.c	(revision 2e915f280805434d5b53bdbfd93227d66d85917c)
+++ kernel/arch/sparc64/src/mm/as.c	(revision 4f42d52e33ada8d9034f22f9f731bb5660569488)
@@ -67,4 +67,5 @@
 	int order = fnzb32(((ITSB_ENTRY_COUNT + DTSB_ENTRY_COUNT) *
 	    sizeof(tsb_entry_t)) >> FRAME_WIDTH);
+
 	uintptr_t tsb = (uintptr_t) frame_alloc(order, flags | FRAME_KA);
 
@@ -75,4 +76,5 @@
 	as->arch.dtsb = (tsb_entry_t *) (tsb + ITSB_ENTRY_COUNT *
 	    sizeof(tsb_entry_t));
+
 	memsetb((uintptr_t) as->arch.itsb,
 	    (ITSB_ENTRY_COUNT + DTSB_ENTRY_COUNT) * sizeof(tsb_entry_t), 0);