kvm_set_cr0() and kvm_set_cr4(), and possible other functions,
assume that kvm_mmu_reset_context() flushes the guest TLB.  However,
it does not.
Fix by flushing the tlb (and syncing the new root as well).
Signed-off-by: Avi Kivity <avi@redhat.com>
 
 int kvm_mmu_reset_context(struct kvm_vcpu *vcpu)
 {
+       int r;
+
        destroy_kvm_mmu(vcpu);
-       return init_kvm_mmu(vcpu);
+       r = init_kvm_mmu(vcpu);
+
+       if (r)
+               goto err;
+
+       kvm_mmu_sync_roots(vcpu);
+       kvm_mmu_flush_tlb(vcpu);
+err:
+       return r;
 }
 EXPORT_SYMBOL_GPL(kvm_mmu_reset_context);