MIX_SECTION_INFO
if (type == SECTION_INFO || type == MIX_SECTION_INFO) {
get_page_bootmem(section_nr, pgd_page(*pgd), MIX_SECTION_INFO);
get_page_bootmem(section_nr, p4d_page(*p4d), MIX_SECTION_INFO);
get_page_bootmem(section_nr, pud_page(*pud), MIX_SECTION_INFO);
MIX_SECTION_INFO);
if (type == SECTION_INFO || type == MIX_SECTION_INFO)
get_page_bootmem(section_nr, page, MIX_SECTION_INFO);
get_page_bootmem(section_nr, page, MIX_SECTION_INFO);