ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-06-01 15:10:56 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

L4Linux: fix usage of l4_touch_xx (fix #682)

Browse Source 
Use size in bytes, when touching memory via l4_touch_ro or l4_touch_rw, instead
of log2 size.
This commit is contained in:
Stefan Kalkowski 2013-03-12 10:46:10 +01:00 committed by Norman Feske
parent 21de42c45d
commit 0bc02b439a
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
ports-foc/src/lib/l4lx/rm.cc
View File

@ -225,9 +225,9 @@ void Region_manager::map(void *phys)
Mapping *m = p->mappings()->first(); Mapping *m = p->mappings()->first();
while (m) { while (m) {
if (!m->writeable()) if (!m->writeable())
l4_touch_ro(phys, L4_LOG2_PAGESIZE); l4_touch_ro(phys, L4_PAGESIZE);
else else
l4_touch_rw(phys, L4_LOG2_PAGESIZE); l4_touch_rw(phys, L4_PAGESIZE);
l4_fpage_t snd_fpage = m->writeable() l4_fpage_t snd_fpage = m->writeable()
? l4_fpage((l4_addr_t)phys, L4_LOG2_PAGESIZE, L4_FPAGE_RW) ? l4_fpage((l4_addr_t)phys, L4_LOG2_PAGESIZE, L4_FPAGE_RW)