static int hyp_free_walker(u64 addr, u64 end, u32 level, kvm_pte_t *ptep,
                           enum kvm_pgtable_walk_flags flag, void * const arg)
 {
-       free_page((unsigned long)kvm_pte_follow(*ptep));
+       put_page(virt_to_page(kvm_pte_follow(*ptep)));
        return 0;
 }
 
        };
 
        WARN_ON(kvm_pgtable_walk(pgt, 0, BIT(pgt->ia_bits), &walker));
-       free_page((unsigned long)pgt->pgd);
+       put_page(virt_to_page(pgt->pgd));
        pgt->pgd = NULL;
 }
 
        if (!data->anchor)
                return 0;
 
-       free_page((unsigned long)kvm_pte_follow(*ptep));
+       put_page(virt_to_page(kvm_pte_follow(*ptep)));
        put_page(virt_to_page(ptep));
 
        if (data->anchor == ptep) {
        }
 
        if (childp)
-               free_page((unsigned long)childp);
+               put_page(virt_to_page(childp));
 
        return 0;
 }
        put_page(virt_to_page(ptep));
 
        if (kvm_pte_table(pte, level))
-               free_page((unsigned long)kvm_pte_follow(pte));
+               put_page(virt_to_page(kvm_pte_follow(pte)));
 
        return 0;
 }