processor_setup();
}
-void __init dt_unreserved_regions(paddr_t s, paddr_t e,
- void (*cb)(paddr_t, paddr_t), int first)
+static void __init dt_unreserved_regions(paddr_t s, paddr_t e,
+ void (*cb)(paddr_t, paddr_t),
+ int first)
{
int i, nr = fdt_num_mem_rsv(device_tree_flattened);
cb(s, e);
}
+void __init fw_unreserved_regions(paddr_t s, paddr_t e,
+ void (*cb)(paddr_t, paddr_t), int first)
+{
+ if ( acpi_disabled )
+ dt_unreserved_regions(s, e, cb, first);
+ else
+ cb(s, e);
+}
+
+
+
struct bootmodule __init *add_boot_module(bootmodule_kind kind,
paddr_t start, paddr_t size,
bool domU)
!mfn_valid(maddr_to_mfn(e)) )
continue;
- dt_unreserved_regions(s, e, init_domheap_pages, 0);
+ fw_unreserved_regions(s, e, init_domheap_pages, 0);
}
mi->nr_mods = 0;
n = mfn_to_maddr(mfn_add(xenheap_mfn_start, xenheap_pages));
}
- dt_unreserved_regions(s, e, init_boot_pages, 0);
+ fw_unreserved_regions(s, e, init_boot_pages, 0);
s = n;
}
if ( e > bank_end )
e = bank_end;
- dt_unreserved_regions(s, e, init_boot_pages, 0);
+ fw_unreserved_regions(s, e, init_boot_pages, 0);
s = n;
}
}
struct bootinfo {
struct meminfo mem;
+ /* The reserved regions are only used when booting using Device-Tree */
struct meminfo reserved_mem;
struct bootmodules modules;
struct bootcmdlines cmdlines;
void create_domUs(void);
void discard_initial_modules(void);
-void dt_unreserved_regions(paddr_t s, paddr_t e,
+void fw_unreserved_regions(paddr_t s, paddr_t e,
void (*cb)(paddr_t, paddr_t), int first);
size_t boot_fdt_info(const void *fdt, paddr_t paddr);