ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-05-04 17:53:07 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

base-hw: fix bug in 'Platform_thread::pager()'

Browse Source
This commit is contained in:
Martin Stein 2013-02-05 15:38:06 +01:00 committed by Norman Feske
parent 0a2e8909ee
commit 02fccf5cb2
2 changed files with 3 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
base-hw/src/core/include/platform_thread.h
View File

@ -151,7 +151,7 @@ namespace Genode {
void pager(Pager_object * const pager); void pager(Pager_object * const pager);
Pager_object * pager() const; Pager_object * pager();
unsigned pd_id() const { return _pd_id; } unsigned pd_id() const { return _pd_id; }

7
base-hw/src/core/platform_thread.cc
View File

@ -160,9 +160,6 @@ void Platform_thread::pager(Pager_object * const pager)
} }
Genode::Pager_object * Platform_thread::pager() const Genode::Pager_object * Platform_thread::pager() {
{ return _rm_client ? static_cast<Pager_object *>(_rm_client) : 0; }
assert(_rm_client)
return static_cast<Pager_object *>(_rm_client);
}