1 files changed, 4 insertions, 4 deletions

diff --git a/arch/x86_64/kernel/time.c b/arch/x86_64/kernel/time.c
index 1c255ee76e7c..7ea3bf2a858c 100644
--- a/arch/x86_64/kernel/time.c
+++ b/arch/x86_64/kernel/time.c
@@ -415,16 +415,16 @@ void main_timer_handler(struct pt_regs *regs)
                                 (((long) offset << US_SCALE) / vxtime.tsc_quot) - 1;
         }
 
-        if (lost > 0) {
+        if (lost > 0)
                 handle_lost_ticks(lost, regs);
-                jiffies += lost;
-        }
+        else
+                lost = 0;
 
 /*
  * Do the timer stuff.
  */
 
-        do_timer(regs);
+        do_timer(lost + 1);
 #ifndef CONFIG_SMP
         update_process_times(user_mode(regs));
 #endif