|
@@ -853,7 +853,7 @@ void kvm_lapic_reset(struct kvm_vcpu *vcpu)
|
|
apic_set_reg(apic, APIC_ISR + 0x10 * i, 0);
|
|
apic_set_reg(apic, APIC_ISR + 0x10 * i, 0);
|
|
apic_set_reg(apic, APIC_TMR + 0x10 * i, 0);
|
|
apic_set_reg(apic, APIC_TMR + 0x10 * i, 0);
|
|
}
|
|
}
|
|
- apic->timer.divide_count = 0;
|
|
|
|
|
|
+ update_divide_count(apic);
|
|
atomic_set(&apic->timer.pending, 0);
|
|
atomic_set(&apic->timer.pending, 0);
|
|
if (vcpu->vcpu_id == 0)
|
|
if (vcpu->vcpu_id == 0)
|
|
vcpu->apic_base |= MSR_IA32_APICBASE_BSP;
|
|
vcpu->apic_base |= MSR_IA32_APICBASE_BSP;
|