Guest vcpu may totally lose all ticks if the vlapic->pt.irq was not
restored during save/restore process. Fix it.
Signed-off-by: Wei Gang <gang.wei@intel.com>
xen-unstable changeset: 22470:
0c97247c64d6
xen-unstable date: Thu Dec 09 08:34:59 2010 +0000
unsigned long tmict = vlapic_get_reg(s, APIC_TMICT);
uint64_t period;
+ s->pt.irq = vlapic_get_reg(s, APIC_LVTT) & APIC_VECTOR_MASK;
if ( (tmict = vlapic_get_reg(s, APIC_TMICT)) == 0 )
return;
period = ((uint64_t)APIC_BUS_CYCLE_NS *
(uint32_t)tmict * s->hw.timer_divisor);
- s->pt.irq = vlapic_get_reg(s, APIC_LVTT) & APIC_VECTOR_MASK;
create_periodic_time(vlapic_vcpu(s), &s->pt, period,
vlapic_lvtt_period(s) ? period : 0,
s->pt.irq, vlapic_pt_cb,