diff options
| -rw-r--r-- | drivers/kvm/mmu.c | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/drivers/kvm/mmu.c b/drivers/kvm/mmu.c index 50b1432dceee..c55ce7d1509e 100644 --- a/drivers/kvm/mmu.c +++ b/drivers/kvm/mmu.c @@ -303,16 +303,6 @@ static void rmap_write_protect(struct kvm *kvm, u64 gfn) } } -static void kvm_mmu_free_page(struct kvm_vcpu *vcpu, hpa_t page_hpa) -{ - struct kvm_mmu_page *page_head = page_header(page_hpa); - - list_del(&page_head->link); - page_head->page_hpa = page_hpa; - list_add(&page_head->link, &vcpu->free_pages); - ++vcpu->kvm->n_free_mmu_pages; -} - static int is_empty_shadow_page(hpa_t page_hpa) { u32 *pos; @@ -324,6 +314,16 @@ static int is_empty_shadow_page(hpa_t page_hpa) return 1; } +static void kvm_mmu_free_page(struct kvm_vcpu *vcpu, hpa_t page_hpa) +{ + struct kvm_mmu_page *page_head = page_header(page_hpa); + + list_del(&page_head->link); + page_head->page_hpa = page_hpa; + list_add(&page_head->link, &vcpu->free_pages); + ++vcpu->kvm->n_free_mmu_pages; +} + static unsigned kvm_page_table_hashfn(gfn_t gfn) { return gfn; |