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