r64_mem.base = le64_to_cpu(romfile_loadint("etc/reserved-memory-end", 0));
if (r64_mem.base < 0x100000000LL + RamSizeOver4G)
r64_mem.base = 0x100000000LL + RamSizeOver4G;
+ if (CPUPhysBits) {
+ u64 top = 1LL << CPUPhysBits;
+ u64 size = (ALIGN(sum_mem, (1LL<<30)) +
+ ALIGN(sum_pref, (1LL<<30)));
+ if (r64_mem.base < top - size) {
+ r64_mem.base = top - size;
+ }
+ }
r64_mem.base = ALIGN(r64_mem.base, align_mem);
r64_mem.base = ALIGN(r64_mem.base, (1LL<<30)); // 1G hugepage
r64_pref.base = r64_mem.base + sum_mem;