ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-21 22:47:50 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

base-hw: get rid of static variable in Kernel::Pd

Browse Source 
Ref #4217
This commit is contained in:
Martin Stein 2021-08-13 15:03:20 +02:00 committed by Norman Feske
parent 02f00a999c
commit 910788313e
1 changed files with 0 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
repos/base-hw/src/core/kernel/pd.h
View File

@ -53,7 +53,6 @@ class Kernel::Pd
Genode::Platform_pd &_platform_pd;
Capid_allocator _capid_alloc { };
Object_identity_reference_tree _cap_tree { };
bool _core_pd { false };
public:
@ -75,12 +74,6 @@ class Kernel::Pd
{
capid_t invalid = _capid_alloc.alloc();
assert(invalid == cap_id_invalid());
static bool first_pd = true;
if (first_pd) {
_core_pd = true;
first_pd = false;
}
}
~Pd()
@ -116,7 +109,6 @@ class Kernel::Pd
Hw::Page_table &translation_table() { return _table; }
Capid_allocator &capid_alloc() { return _capid_alloc; }
Object_identity_reference_tree &cap_tree() { return _cap_tree; }
bool core_pd() const { return _core_pd; }
};
#endif /* _CORE__KERNEL__PD_H_ */