init_range_memory_mapping
mapped_ram_size += init_range_memory_mapping(start,
init_range_memory_mapping(real_end, map_end);
mapped_ram_size += init_range_memory_mapping(start, next);