diff options
| author | Avi Kivity <avi@qumranet.com> | 2007-01-05 16:36:48 -0800 |
|---|---|---|
| committer | Linus Torvalds <torvalds@woody.osdl.org> | 2007-01-05 23:55:26 -0800 |
| commit | 73f7198e738004671b885c443eb6f88df021c07f (patch) | |
| tree | c878b3557357521e285ed5c2db7b081d2aa04f33 /drivers/kvm/mmu.c | |
| parent | 5f015a5b28c75bb6cc5158640db58689b1ee1b51 (diff) | |
[PATCH] KVM: MMU: Remove release_pt_page_64()
Unused.
Signed-off-by: Avi Kivity <avi@qumranet.com>
Acked-by: Ingo Molnar <mingo@elte.hu>
Signed-off-by: Andrew Morton <akpm@osdl.org>
Signed-off-by: Linus Torvalds <torvalds@osdl.org>
Diffstat (limited to 'drivers/kvm/mmu.c')
| -rw-r--r-- | drivers/kvm/mmu.c | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/drivers/kvm/mmu.c b/drivers/kvm/mmu.c index b7b05c44399..53c3643038b 100644 --- a/drivers/kvm/mmu.c +++ b/drivers/kvm/mmu.c @@ -609,35 +609,6 @@ hpa_t gva_to_hpa(struct kvm_vcpu *vcpu, gva_t gva) return gpa_to_hpa(vcpu, gpa); } - -static void release_pt_page_64(struct kvm_vcpu *vcpu, hpa_t page_hpa, - int level) -{ - u64 *pos; - u64 *end; - - ASSERT(vcpu); - ASSERT(VALID_PAGE(page_hpa)); - ASSERT(level <= PT64_ROOT_LEVEL && level > 0); - - for (pos = __va(page_hpa), end = pos + PT64_ENT_PER_PAGE; - pos != end; pos++) { - u64 current_ent = *pos; - - if (is_present_pte(current_ent)) { - if (level != 1) - release_pt_page_64(vcpu, - current_ent & - PT64_BASE_ADDR_MASK, - level - 1); - else - rmap_remove(vcpu->kvm, pos); - } - *pos = 0; - } - kvm_mmu_free_page(vcpu, page_hpa); -} - static void nonpaging_new_cr3(struct kvm_vcpu *vcpu) { } |