Index: kernel/arch/ia64/src/drivers/it.c
===================================================================
--- kernel/arch/ia64/src/drivers/it.c	(revision 59e4864a51a79cbe1c491a3c86539b884e9005e6)
+++ kernel/arch/ia64/src/drivers/it.c	(revision 26fa0f9f8b1d7bd5366298fe39165bf010b22a37)
@@ -47,4 +47,14 @@
 #define IT_SERVICE_CLOCKS 64
 
+#define FREQ_NUMERATOR_SHIFT 32
+#define FREQ_NUMERATOR_MASK 0xffffffff00000000LL
+
+#define FREQ_DENOMINATOR_SHIFT 0
+#define FREQ_DENOMINATOR_MASK 0xffffffffLL
+
+
+uint64_t it_delta;
+
+
 static irq_t it_irq;
 
@@ -65,4 +75,12 @@
 		it_irq.handler = it_interrupt;
 		irq_register(&it_irq);
+		
+		uint64_t base_freq;
+		base_freq  = ((bootinfo->freq_scale) & FREQ_NUMERATOR_MASK) >> FREQ_NUMERATOR_SHIFT;
+		base_freq *= bootinfo->sys_freq;
+		base_freq /= ((bootinfo->freq_scale) & FREQ_DENOMINATOR_MASK) >> FREQ_DENOMINATOR_SHIFT;
+		
+		it_delta = base_freq /HZ;
+		
 	}