pud_tbl          1185 arch/x86/xen/mmu_pv.c 	pud_t *pud_tbl;
pud_tbl          1194 arch/x86/xen/mmu_pv.c 	pud_tbl = pud_offset(p4d, 0);
pud_tbl          1196 arch/x86/xen/mmu_pv.c 		if (pud_none(pud_tbl[i]))
pud_tbl          1198 arch/x86/xen/mmu_pv.c 		xen_cleanmfnmap_pud(pud_tbl + i, unpin);
pud_tbl          1201 arch/x86/xen/mmu_pv.c 	xen_cleanmfnmap_free_pgtbl(pud_tbl, unpin);