From 0bc02b439a264ff437ad004e974003c000bcc16a Mon Sep 17 00:00:00 2001 From: Stefan Kalkowski Date: Tue, 12 Mar 2013 10:46:10 +0100 Subject: [PATCH] L4Linux: fix usage of l4_touch_xx (fix #682) Use size in bytes, when touching memory via l4_touch_ro or l4_touch_rw, instead of log2 size. --- ports-foc/src/lib/l4lx/rm.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ports-foc/src/lib/l4lx/rm.cc b/ports-foc/src/lib/l4lx/rm.cc index ebf9bafec6..65dfb7a8d6 100644 --- a/ports-foc/src/lib/l4lx/rm.cc +++ b/ports-foc/src/lib/l4lx/rm.cc @@ -225,9 +225,9 @@ void Region_manager::map(void *phys) Mapping *m = p->mappings()->first(); while (m) { if (!m->writeable()) - l4_touch_ro(phys, L4_LOG2_PAGESIZE); + l4_touch_ro(phys, L4_PAGESIZE); else - l4_touch_rw(phys, L4_LOG2_PAGESIZE); + l4_touch_rw(phys, L4_PAGESIZE); l4_fpage_t snd_fpage = m->writeable() ? l4_fpage((l4_addr_t)phys, L4_LOG2_PAGESIZE, L4_FPAGE_RW)