Index: kernel/arch/ia64/src/mm/page.c
===================================================================
--- kernel/arch/ia64/src/mm/page.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
+++ kernel/arch/ia64/src/mm/page.c	(revision c1f44ca9058d587a92a07d661a9e0197a5bf1f93)
@@ -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 */