Index: kernel/generic/src/mm/as.c
===================================================================
--- kernel/generic/src/mm/as.c	(revision 366b1487904fb7d5bcae4f05bf582be69eb35bf7)
+++ kernel/generic/src/mm/as.c	(revision 45ce950470a8bb700e6e4a63d1885038c7937689)
@@ -675,5 +675,6 @@
 		
 		/*
-		 * Invalidate software translation caches (e.g. TSB on sparc64).
+		 * Invalidate software translation caches
+		 * (e.g. TSB on sparc64, PHT on ppc32).
 		 */
 		as_invalidate_translation_cache(as, area->base + P2SZ(pages),
@@ -823,6 +824,6 @@
 	
 	/*
-	 * Invalidate potential software translation caches (e.g. TSB on
-	 * sparc64).
+	 * Invalidate potential software translation caches
+	 * (e.g. TSB on sparc64, PHT on ppc32).
 	 */
 	as_invalidate_translation_cache(as, area->base, area->pages);
@@ -1126,6 +1127,6 @@
 	
 	/*
-	 * Invalidate potential software translation caches (e.g. TSB on
-	 * sparc64).
+	 * Invalidate potential software translation caches
+	 * (e.g. TSB on sparc64, PHT on ppc32).
 	 */
 	as_invalidate_translation_cache(as, area->base, area->pages);