denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

fixup "core: don't rely on Core_env in platform.cc" (okl4)

Browse Source
This commit is contained in:
Norman Feske
2025-01-06 14:03:47 +01:00
parent 68f3e54738
commit 03f18e1dfe
1 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
repos/base-okl4/src/core/include/platform_thread.h
View File

@@ -63,7 +63,13 @@ class Core::Platform_thread
*/
Platform_thread(Platform_pd &pd, Rpc_entrypoint &, Ram_allocator &,
Region_map &, size_t, const char *name,
unsigned priority, Affinity::Location, addr_t utcb);
unsigned prio, Affinity::Location, addr_t)
:
_pd(pd), _priority(prio)
{
copy_cstring(_name, name, sizeof(_name));
_bound_to_pd = pd.bind_thread(*this);
}
/**
* Constructor used for core-internal threads