paravirt_release_pmd
paravirt_release_pmd(pgd_val(pgd) >> PAGE_SHIFT);
paravirt_release_pmd(__pa(pmd) >> PAGE_SHIFT);