idx_pud          2060 arch/x86/xen/mmu_pv.c 	int n_pte, n_pt, n_pmd, n_pud, idx_pte, idx_pt, idx_pmd, idx_pud;
idx_pud          2095 arch/x86/xen/mmu_pv.c 	for (idx_pud = 0; idx_pud < n_pud; idx_pud++) {
idx_pud          2133 arch/x86/xen/mmu_pv.c 		set_pgd(pgd + 2 + idx_pud, __pgd(_PAGE_TABLE | pud_phys));