DEFINE_POPULATE    72 arch/x86/mm/init_64.c DEFINE_POPULATE(p4d_populate, p4d, pud, init)
DEFINE_POPULATE    73 arch/x86/mm/init_64.c DEFINE_POPULATE(pgd_populate, pgd, p4d, init)
DEFINE_POPULATE    74 arch/x86/mm/init_64.c DEFINE_POPULATE(pud_populate, pud, pmd, init)
DEFINE_POPULATE    75 arch/x86/mm/init_64.c DEFINE_POPULATE(pmd_populate_kernel, pmd, pte, init)