Index: kernel/arch/sparc64/src/mm/sun4u/as.c
===================================================================
--- kernel/arch/sparc64/src/mm/sun4u/as.c	(revision 730ff630d02f514f0321609e309c9d85fa438fd7)
+++ kernel/arch/sparc64/src/mm/sun4u/as.c	(revision 8cbf1c333889cf14d44353c7d7d73d9dbf0441a3)
@@ -71,5 +71,5 @@
 	    sizeof(tsb_entry_t)) >> FRAME_WIDTH);
 	
-	uintptr_t tsb = (uintptr_t) frame_alloc(order, flags | FRAME_KA);
+	uintptr_t tsb = PA2KA(frame_alloc(order, flags, 0));
 	
 	if (!tsb)
Index: kernel/arch/sparc64/src/mm/sun4v/as.c
===================================================================
--- kernel/arch/sparc64/src/mm/sun4v/as.c	(revision 730ff630d02f514f0321609e309c9d85fa438fd7)
+++ kernel/arch/sparc64/src/mm/sun4v/as.c	(revision 8cbf1c333889cf14d44353c7d7d73d9dbf0441a3)
@@ -69,5 +69,5 @@
 		(TSB_ENTRY_COUNT * sizeof(tsb_entry_t)) >> FRAME_WIDTH);
 	
-	uintptr_t tsb = (uintptr_t) frame_alloc(order, flags);
+	uintptr_t tsb = frame_alloc(order, flags, 0);
 	
 	if (!tsb)