--- linux-2.6.9/arch/x86_64/kernel/time.c~time	2005-02-28 14:26:52.000000000 +0200
+++ linux-2.6.9/arch/x86_64/kernel/time.c	2005-02-28 14:28:46.000000000 +0200
@@ -409,7 +409,7 @@
 
 		monotonic_base += (tsc - vxtime.last_tsc)*1000000/cpu_khz ;
 
-		vxtime.last_tsc = tsc - vxtime.quot * delay / vxtime.tsc_quot;
+		vxtime.last_tsc = tsc - vxtime.quot * delay / (LATCH * vxtime.tsc_quot);
 
 		if ((((tsc - vxtime.last_tsc) *
 		      vxtime.tsc_quot) >> 32) < offset)