|
@@ -2786,14 +2786,6 @@ static int alloc_mmu_pages(struct kvm_vcpu *vcpu)
|
|
|
|
|
|
ASSERT(vcpu);
|
|
|
|
|
|
- spin_lock(&vcpu->kvm->mmu_lock);
|
|
|
- if (vcpu->kvm->arch.n_requested_mmu_pages)
|
|
|
- vcpu->kvm->arch.n_free_mmu_pages =
|
|
|
- vcpu->kvm->arch.n_requested_mmu_pages;
|
|
|
- else
|
|
|
- vcpu->kvm->arch.n_free_mmu_pages =
|
|
|
- vcpu->kvm->arch.n_alloc_mmu_pages;
|
|
|
- spin_unlock(&vcpu->kvm->mmu_lock);
|
|
|
/*
|
|
|
* When emulating 32-bit mode, cr3 is only 32 bits even on x86_64.
|
|
|
* Therefore we need to allocate shadow page tables in the first
|