return;
e820_add_region(extra_start, size, E820_RAM);
+ printk(KERN_DEBUG "extra e820 region: start=%016Lx end=%016Lx\n",
+ extra_start, extra_start + size);
sanitize_e820_map(e820.map, ARRAY_SIZE(e820.map), &e820.nr_map);
memblock_x86_reserve_range(extra_start, extra_start + size, "XEN EXTRA");
for (i = 0; i < memmap.nr_entries; i++) {
unsigned long long end;
+ printk(KERN_DEBUG "e820_region: type=%d start=%016Lx end=%016Lx",
+ map[i].type, map[i].addr, map[i].size + map[i].addr);
/* Guard against non-page aligned E820 entries. */
if (map[i].type == E820_RAM)
map[i].size -= (map[i].size + map[i].addr) % PAGE_SIZE;