1.1 --- a/xen/arch/x86/hvm/vpt.c	Fri Jan 19 12:11:52 2007 +0000
     1.2 +++ b/xen/arch/x86/hvm/vpt.c	Fri Jan 19 13:43:17 2007 +0000
     1.3 @@ -163,7 +163,6 @@ struct periodic_time *is_pt_irq(struct v
     1.4  void pt_intr_post(struct vcpu *v, int vector, int type)
     1.5  {
     1.6      struct periodic_time *pt = is_pt_irq(v, vector, type);
     1.7 -    unsigned long long gtime;
     1.8  
     1.9      if ( pt == NULL )
    1.10          return;
    1.11 @@ -171,8 +170,7 @@ void pt_intr_post(struct vcpu *v, int ve
    1.12      pt->pending_intr_nr--;
    1.13      pt->last_plt_gtime += pt->period_cycles;
    1.14  
    1.15 -    gtime = hvm_get_guest_time(pt->vcpu);
    1.16 -    if (gtime < pt->last_plt_gtime)
    1.17 +    if ( hvm_get_guest_time(pt->vcpu) < pt->last_plt_gtime )
    1.18          hvm_set_guest_time(pt->vcpu, pt->last_plt_gtime);
    1.19  
    1.20      if ( pt->cb != NULL )