Index: kernel/arch/ia64/src/mm/page.c
===================================================================
--- kernel/arch/ia64/src/mm/page.c	(revision 3bacee1839e6f355100ab4ea86bb211e9ecf19ed)
+++ kernel/arch/ia64/src/mm/page.c	(revision 902dd4bcbf12a24a5c7153d6f97cf6cd7886c59f)
@@ -75,5 +75,5 @@
 	 * For paranoia reasons, we set it again.
 	 */
-	for(i = 0; i < REGION_REGISTERS; i++) {
+	for (i = 0; i < REGION_REGISTERS; i++) {
 		rr.word = rr_read(i);
 		rr.map.ve = 0;		/* disable VHPT walker */