Index: kernel/arch/ia64/src/ia64.c
===================================================================
--- kernel/arch/ia64/src/ia64.c	(revision 7208b6cc46de53e520a0beb3636047d8e17c072c)
+++ kernel/arch/ia64/src/ia64.c	(revision dadcec1dfd773eb63e3a2420db90b31207fcc6a2)
@@ -63,10 +63,11 @@
 
 //#ifdef I460GX
-	int i;
+	unsigned int i;
+	
 	init.cnt = bootinfo->taskmap.count;
-	for(i=0;i<init.cnt;i++)
-	{
-	    init.tasks[i].addr = ((unsigned long)bootinfo->taskmap.tasks[i].addr)|VRN_MASK;
-	    init.tasks[i].size = bootinfo->taskmap.tasks[i].size;
+	
+	for (i = 0; i < init.cnt; i++) {
+		init.tasks[i].addr = ((unsigned long) bootinfo->taskmap.tasks[i].addr) | VRN_MASK;
+		init.tasks[i].size = bootinfo->taskmap.tasks[i].size;
 	}
 /*
Index: kernel/arch/ia64/src/mm/tlb.c
===================================================================
--- kernel/arch/ia64/src/mm/tlb.c	(revision 7208b6cc46de53e520a0beb3636047d8e17c072c)
+++ kernel/arch/ia64/src/mm/tlb.c	(revision dadcec1dfd773eb63e3a2420db90b31207fcc6a2)
@@ -60,5 +60,5 @@
 	uint32_t count1, count2, stride1, stride2;
 		
-	int i, j;
+	unsigned int i, j;
 		
 	adr = PAL_PTCE_INFO_BASE();
@@ -70,6 +70,6 @@
 	ipl = interrupts_disable();
 
-	for(i = 0; i < count1; i++) {
-		for(j = 0; j < count2; j++) {
+	for (i = 0; i < count1; i++) {
+		for (j = 0; j < count2; j++) {
 			asm volatile (
 				"ptc.e %0 ;;"