pmd_tbl          1163 arch/x86/xen/mmu_pv.c 	pmd_t *pmd_tbl;
pmd_tbl          1172 arch/x86/xen/mmu_pv.c 	pmd_tbl = pmd_offset(pud, 0);
pmd_tbl          1174 arch/x86/xen/mmu_pv.c 		if (pmd_none(pmd_tbl[i]))
pmd_tbl          1176 arch/x86/xen/mmu_pv.c 		xen_cleanmfnmap_pmd(pmd_tbl + i, unpin);
pmd_tbl          1179 arch/x86/xen/mmu_pv.c 	xen_cleanmfnmap_free_pgtbl(pmd_tbl, unpin);