Index: kernel/arch/ia64/src/drivers/it.c
===================================================================
--- kernel/arch/ia64/src/drivers/it.c	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/arch/ia64/src/drivers/it.c	(revision f1d1f5d3d65116db3fe2744bb3cf38c85e99f14c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia64	
+/** @addtogroup ia64	
  * @{
  */
@@ -77,18 +77,15 @@
 	eoi_write(EOI);
 	
-	m=itm_read();
+	m = itm_read();
 	
-	while(1)
-	{
-	
-		c=itc_read();
-		c+=IT_SERVICE_CLOCKS;
+	while (1) {
+		c = itc_read();
+		c += IT_SERVICE_CLOCKS;
 
-		m+=IT_DELTA;
-		if(m-c<0)
-		{
+		m += IT_DELTA;
+		if (m-c<0)
 			CPU->missed_clock_ticks++;
-		}
-		else break;
+		else
+			break;
 	}
 	
@@ -96,11 +93,8 @@
 	srlz_d();				/* propagate changes */
 	
-	
-	
 	clock();
 	poll_keyboard();
 }
 
- /** @}
+/** @}
  */
-