Index: kernel/arch/sparc64/src/mm/as.c
===================================================================
--- kernel/arch/sparc64/src/mm/as.c	(revision 2057572a989f56acc5c906946caebf6b2e039bda)
+++ kernel/arch/sparc64/src/mm/as.c	(revision 1d79c047f8e80a72ee5c2a3bf55d27ae821db219)
@@ -62,6 +62,10 @@
 {
 #ifdef CONFIG_TSB
+	/*
+	 * The order must be calculated with respect to the emulated
+	 * 16K page size.
+	 */
 	int order = fnzb32(((ITSB_ENTRY_COUNT + DTSB_ENTRY_COUNT) *
-		sizeof(tsb_entry_t)) >> MMU_FRAME_WIDTH);
+	    sizeof(tsb_entry_t)) >> FRAME_WIDTH);
 	uintptr_t tsb = (uintptr_t) frame_alloc(order, flags | FRAME_KA);
 
@@ -71,5 +75,5 @@
 	as->arch.itsb = (tsb_entry_t *) tsb;
 	as->arch.dtsb = (tsb_entry_t *) (tsb + ITSB_ENTRY_COUNT *
-		sizeof(tsb_entry_t));
+	    sizeof(tsb_entry_t));
 	memsetb((uintptr_t) as->arch.itsb,
 	    (ITSB_ENTRY_COUNT + DTSB_ENTRY_COUNT) * sizeof(tsb_entry_t), 0);
@@ -81,6 +85,10 @@
 {
 #ifdef CONFIG_TSB
+	/*
+	 * The count must be calculated with respect to the emualted 16K page
+	 * size.
+	 */
 	count_t cnt = ((ITSB_ENTRY_COUNT + DTSB_ENTRY_COUNT) *
-		sizeof(tsb_entry_t)) >> MMU_FRAME_WIDTH;
+	    sizeof(tsb_entry_t)) >> FRAME_WIDTH;
 	frame_free(KA2PA((uintptr_t) as->arch.itsb));
 	return cnt;