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