static inline void __pmd_free_tlb(struct mmu_gather *tlb, pmd_t *pmdp,
                                  unsigned long addr)
{
    struct ptdesc *ptdesc = virt_to_ptdesc(pmdp);

    pagetable_pmd_dtor(ptdesc);
    #ifdef CONFIG_PTP
    iee_tlb_remove_ptdesc(tlb, ptdesc);
    #else
    tlb_remove_ptdesc(tlb, ptdesc);
    #endif
}
