Index: kernel/arch/ia32/src/drivers/i8254.c
===================================================================
--- kernel/arch/ia32/src/drivers/i8254.c	(revision f8ddd176406660da88b0e9d63695413731cd58ff)
+++ kernel/arch/ia32/src/drivers/i8254.c	(revision f88fcbec8f4c20dfefb67f4a7237bfc980de7a2d)
@@ -40,4 +40,5 @@
 #include <time/clock.h>
 #include <time/delay.h>
+#include <arch/cycle.h>
 #include <arch/interrupt.h>
 #include <arch/drivers/i8259.h>
@@ -138,9 +139,9 @@
 	CPU->delay_loop_const = ((MAGIC_NUMBER*LOOPS)/1000) / ((t1-t2)-(o1-o2)) + (((MAGIC_NUMBER*LOOPS)/1000) % ((t1-t2)-(o1-o2)) ? 1 : 0);
 
-	clk1 = rdtsc();
-	delay(1<<SHIFT);
-	clk2 = rdtsc();
+	clk1 = get_cycle();
+	delay(1 << SHIFT);
+	clk2 = get_cycle();
 	
-	CPU->frequency_mhz = (clk2-clk1)>>SHIFT;
+	CPU->frequency_mhz = (clk2 - clk1) >> SHIFT;
 
 	return;