ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

sel4: fix vm_space has_page_table_at 

Issue #2044
This commit is contained in:
Alexander Boettcher 2016-07-15 13:44:40 +02:00 committed by Christian Helmuth
parent b0c3427ed4
commit c4ed38cfbc
1 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
repos/base-sel4/src/core/include/vm_space.h
View File

@ -340,12 +340,13 @@ class Genode::Vm_space
{
Lock::Guard guard(_lock);
/* check if we need to add a page table to core's VM space */
if (!_page_table_registry.has_page_table_at(to_virt))
_alloc_and_map_page_table(to_virt);
for (size_t i = 0; i < num_pages; i++) {
off_t const offset = i << get_page_size_log2();
/* check if we need to add a page table to core's VM space */
if (!_page_table_registry.has_page_table_at(to_virt + offset))
_alloc_and_map_page_table(to_virt + offset);
_map_page(from_phys + offset, to_virt + offset, flush_support);
}
}