pagetable_dtor_free
pagetable_dtor_free(virt_to_ptdesc(pte));
pagetable_dtor_free(virt_to_ptdesc(pgd));
pagetable_dtor_free(virt_to_ptdesc((void *)pt_addr));
pagetable_dtor_free(ptdesc);
pagetable_dtor_free(ptdesc);
pagetable_dtor_free(pt);
pagetable_dtor_free(pt);
pagetable_dtor_free(ptdesc);
pagetable_dtor_free(ptdesc);
pagetable_dtor_free(ptdesc);
pagetable_dtor_free(ptdesc);
pagetable_dtor_free(ptdesc);
pagetable_dtor_free(virt_to_ptdesc(pte));
pagetable_dtor_free(ptdesc);