paravirt_release_pte  188 arch/x86/mm/init_32.c 		paravirt_release_pte(__pa(pte) >> PAGE_SHIFT);
paravirt_release_pte   49 arch/x86/mm/pgtable.c 	paravirt_release_pte(page_to_pfn(pte));
paravirt_release_pte  518 arch/x86/xen/p2m.c 			paravirt_release_pte(__pa(pte_newpg[i]) >> PAGE_SHIFT);