1.1 --- a/xen/arch/x86/hvm/i8254.c	Sat Apr 22 10:41:53 2006 +0100
     1.2 +++ b/xen/arch/x86/hvm/i8254.c	Sun Apr 23 09:20:31 2006 +0100
     1.3 @@ -154,8 +154,7 @@ static __inline__ s64 missed_ticks(PITCh
     1.4              hvm_time->pending_intr_nr += missed_ticks;
     1.5          }
     1.6          s->next_transition_time = current_time + (missed_ticks ) * s->period;
     1.7 -    } else
     1.8 -        printk("HVM_PIT:missed ticks < 0 \n");
     1.9 +    }
    1.10  
    1.11      return s->next_transition_time;
    1.12  }
    1.13 @@ -184,9 +183,8 @@ s64 pit_get_next_transition_time(PITChan
    1.14              return -1;
    1.15          break;
    1.16      case 2:
    1.17 -        if (test_bit(_VCPUF_running, &(hvm_time->vcpu->vcpu_flags)) )
    1.18 -            next_time = missed_ticks(s, current_time);
    1.19 -        else
    1.20 +        next_time = missed_ticks(s, current_time);
    1.21 +        if ( !test_bit(_VCPUF_running, &(hvm_time->vcpu->vcpu_flags)) )
    1.22              return 0;
    1.23          break;
    1.24      case 3:
    1.25 @@ -566,13 +564,8 @@ void pickup_deactive_ticks(struct hvm_vi
    1.26      PITChannelState *s = &(vpit->channels[0]);
    1.27      if ( !active_timer(&(vpit->time_info.pit_timer)) ) {
    1.28          next_time = pit_get_next_transition_time(s, s->next_transition_time); 
    1.29 -        if (next_time > 0)
    1.30 +        if (next_time >= 0)
    1.31              set_timer(&(s->hvm_time->pit_timer), s->next_transition_time);
    1.32 -        else {
    1.33 -            printk("HVM_PIT:not set_timer before resume next_time=%"
    1.34 -                   PRId64"!\n", next_time);
    1.35 -            next_time = s->next_transition_time;
    1.36 -        }
    1.37      }
    1.38  }
    1.39