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

NOVA: use only local ids in pager code, issue #268

Browse Source
This commit is contained in:
Alexander Boettcher 2012-07-12 09:35:37 +02:00 committed by Norman Feske
parent 529a25e190
commit b748d1f17f
1 changed files with 9 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
base-nova/src/base/pager/pager.cc
View File

@ -179,9 +179,17 @@ Pager_object::~Pager_object()
Pager_capability Pager_entrypoint::manage(Pager_object *obj) Pager_capability Pager_entrypoint::manage(Pager_object *obj)
{ {
/* supplement capability with object ID obtained from CAP session */ /* supplement capability with object ID obtained from CAP session */
obj->Object_pool<Pager_object>::Entry::cap(_cap_session->alloc(Native_capability(obj->pt_sel(), 0))); Native_capability cap_session = _cap_session->alloc(Native_capability(obj->pt_sel(), 0));
/*
* cap_session.local_name() contains now the global object id.
* We drop it here since there is no need on NOVA to have it,
* instead we use solely the dst id and the local obj id.
*/
cap_session = Native_capability(cap_session.dst(), obj->pt_sel());
/* add server object to object pool */ /* add server object to object pool */
obj->Object_pool<Pager_object>::Entry::cap(cap_session);
insert(obj); insert(obj);
/* return capability that uses the object id as badge */ /* return capability that uses the object id as badge */