1878     uint64_t mem_len, mem_base, next_base;  in build_srat()  local
1933         mem_base = next_base;  in build_srat()
1935         next_base = mem_base + mem_len;  in build_srat()
1938         if (mem_base <= HOLE_640K_START &&  in build_srat()
1942                 build_srat_memory(table_data, mem_base, mem_len, i - 1,  in build_srat()
1951             mem_base = HOLE_640K_END;  in build_srat()
1956         if (mem_base <= x86ms->below_4g_mem_size &&  in build_srat()
1960                 build_srat_memory(table_data, mem_base, mem_len, i - 1,  in build_srat()
1963             mem_base = x86ms->above_4g_mem_start;  in build_srat()
1965             next_base = mem_base + mem_len;  in build_srat()
1969             build_srat_memory(table_data, mem_base, mem_len, i - 1,  in build_srat()