From 09049278a69213d41c540a0ed4300f0e31ce7ffe Mon Sep 17 00:00:00 2001 From: Christian Prochaska Date: Wed, 10 Jul 2013 21:28:48 +0200 Subject: [PATCH] Round up RM session size to page granularity Since RM sessions can be used as dataspaces and dataspace sizes are supposed to have page granularity, RM session sizes should have page granularity, too. Fixes #799. --- base/src/core/rm_session_component.cc | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/base/src/core/rm_session_component.cc b/base/src/core/rm_session_component.cc index 256fd19b9..35c9b9604 100644 --- a/base/src/core/rm_session_component.cc +++ b/base/src/core/rm_session_component.cc @@ -806,10 +806,11 @@ Rm_session_component::Rm_session_component(Rpc_entrypoint *ds_ep, _md_alloc(md_alloc, ram_quota), _client_slab(&_md_alloc), _ref_slab(&_md_alloc), _map(&_md_alloc), _pager_ep(pager_ep), - _ds(vm_size), _ds_cap(_type_deduction_helper(ds_ep->manage(&_ds))) + _ds(align_addr(vm_size, get_page_size_log2())), + _ds_cap(_type_deduction_helper(ds_ep->manage(&_ds))) { /* configure managed VM area */ - _map.add_range(vm_start, vm_size); + _map.add_range(vm_start, align_addr(vm_size, get_page_size_log2())); }