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);