paravirt_release_pmd   57 arch/x86/mm/pgtable.c 	paravirt_release_pmd(__pa(pmd) >> PAGE_SHIFT);
paravirt_release_pmd  264 arch/x86/mm/pgtable.c 		paravirt_release_pmd(pgd_val(pgd) >> PAGE_SHIFT);