paravirt_release_pte - Linux

Symbol: paravirt_release_pte

arch/x86/mm/pgtable.c

paravirt_release_pte(page_to_pfn(pte));

arch/x86/xen/p2m.c

paravirt_release_pte(__pa(pte_newpg[i]) >> PAGE_SHIFT);