denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

hw: do not flush core/kernel's page-tables

Browse Source 
Fix genodelabs/genode#5380
This commit is contained in:
Stefan Kalkowski
2024-11-11 13:54:00 +01:00
committed by Christian Helmuth
parent 7dbc9129db
commit ed2d9fef47
1 changed files with 7 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
repos/base-hw/src/core/platform_pd.cc
View File

@@ -60,6 +60,13 @@ bool Hw::Address_space::insert_translation(addr_t virt, addr_t phys,
_tt.insert_translation(virt, phys, size, flags, _tt_alloc);
return true;
} catch(Hw::Out_of_tables &) {
/* core/kernel's page-tables should never get flushed */
if (_tt_phys == Platform::core_page_table()) {
error("core's page-table allocator is empty!");
return false;
}
flush(platform().vm_start(), platform().vm_size());
}
}