ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-30 16:14:13 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

pistachio: exclude phys ram which is unaccessible

Browse Source 
because of 1:1 mappings, phys memory above 3G (user/kernel virtual boundary)
can't be accessed ...
This commit is contained in:
Alexander Boettcher 2016-11-11 14:16:15 +01:00 committed by Christian Helmuth
parent a72f81472b
commit 58eabc756b
1 changed files with 31 additions and 23 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

54
repos/base-pistachio/src/core/platform.cc
View File

@ -421,37 +421,45 @@ void Platform::_setup_mem_alloc()
* Suck out sigma0. The spec says that we get only "conventional
* memory". Let's hope this is true.
*/
bool succ;
bool succ = true;
unsigned int bytes_got = 0;
do {
while (succ) {
addr_t addr;
Region region;
succ = sigma0_req_region(&addr, size_log2);
if (succ) {
/* XXX do not allocate page0 */
if (addr == 0) {
// L4_Fpage_t f = L4_FpageLog2(0, pslog2);
// f += L4_FullyAccessible;
// L4_Flush(f);
} else {
region.start = addr; region.end = addr + size;
if (region.intersects(stack_area_virtual_base(),
stack_area_virtual_size()) ||
intersects_kip_archdep(kip, addr, size)) {
unmap_local(region.start, size >> get_page_size_log2());
} else {
add_region(region, _ram_alloc);
add_region(region, _core_address_ranges());
}
remove_region(region, _io_mem_alloc);
remove_region(region, _region_alloc);
}
if (!succ)
continue;
bytes_got += size;
/* XXX do not allocate page0 */
if (addr == 0) {
// L4_Fpage_t f = L4_FpageLog2(0, pslog2);
// f += L4_FullyAccessible;
// L4_Flush(f);
continue;
}
} while (succ);
/* exclude phys ram which is unaccessible - 1:1 mappings! */
if (addr >= _vm_start + _vm_size)
continue;
if ((addr + size > _vm_start + _vm_size) || ( addr + size <= addr))
size = _vm_start + _vm_size - addr;
region.start = addr; region.end = addr + size;
if (region.intersects(stack_area_virtual_base(),
stack_area_virtual_size()) ||
intersects_kip_archdep(kip, addr, size)) {
unmap_local(region.start, size >> get_page_size_log2());
} else {
add_region(region, _ram_alloc);
add_region(region, _core_address_ranges());
}
remove_region(region, _io_mem_alloc);
remove_region(region, _region_alloc);
bytes_got += size;
}
log("Got ", bytes_got >> 10, "K in ", size >> 10, "K pieces.");
}