ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-06-19 07:38:28 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

base: unify platform.cc between base, base-linux

Browse Source 
This is a preparatory step for merging 'init_platform()' with
'bootstrap_component()'.

Issue #4784
This commit is contained in:
Norman Feske
2023-06-21 15:06:42 +02:00
parent 54cc70f9b1
commit 3a8c3dcc2d
15 changed files with 45 additions and 45 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
repos/base-linux/src/lib/base/attach_stack_area.cc
View File

@ -26,4 +26,7 @@ void Platform::_attach_stack_area()
pd._address_space.attach_at(pd._stack_area.dataspace(),
stack_area_virtual_base(),
stack_area_virtual_size());
env_stack_area_region_map = &pd._stack_area;
env_stack_area_ram_allocator = &pd;
}

28
repos/base-linux/src/lib/base/platform.cc
View File

@ -21,7 +21,6 @@
/* base-internal includes */
#include <base/internal/platform.h>
#include <base/internal/native_thread.h>
#include <base/internal/globals.h>
#include <base/internal/parent_socket_handle.h>
#include <base/internal/capability_space_tpl.h>
@ -153,10 +152,10 @@ Env_deprecated *Genode::env_deprecated()
Parent *parent() override { return &_pf.parent; }
Cpu_session *cpu_session() override { return &_pf.cpu; }
Cpu_session_capability cpu_session_cap() override { return _pf.cpu_cap; }
Cpu_session_capability cpu_session_cap() override { return _pf.cpu.rpc_cap(); }
Region_map *rm_session() override { return &_pf.rm; }
Pd_session *pd_session() override { return &_pf.pd; }
Pd_session_capability pd_session_cap() override { return _pf.pd_cap; }
Pd_session_capability pd_session_cap() override { return _pf.pd.rpc_cap(); }
};
static Impl impl { *_platform_ptr };
@ -165,7 +164,7 @@ Env_deprecated *Genode::env_deprecated()
}
static Parent_capability obtain_parent_cap()
Capability<Parent> Platform::_obtain_parent_cap()
{
long const local_name = get_env_ulong("parent_local_name");
@ -190,27 +189,16 @@ void Genode::init_parent_resource_requests(Genode::Env & env)
void Genode::init_platform()
{
static Platform platform { obtain_parent_cap() };
/* allow use of deprecated_env */
_platform_ptr = &platform;
static Genode::Platform platform;
init_log(platform.parent);
init_rpc_cap_alloc(platform.parent);
init_cap_slab(platform.pd, platform.parent);
init_thread(platform.cpu, platform.rm);
init_thread_start(platform.pd_cap);
init_thread_bootstrap(platform.parent.main_thread_cap());
init_thread_start(platform.pd.rpc_cap());
init_thread_bootstrap(platform.cpu, platform.parent.main_thread_cap());
env_stack_area_region_map = &platform.pd._stack_area;
env_stack_area_ram_allocator = &platform.pd;
/* register TID and PID of the main thread at core */
Linux_native_cpu_client native_cpu(platform.cpu.native_cpu());
native_cpu.thread_id(platform.parent.main_thread_cap(),
lx_getpid(), lx_gettid());
init_rpc_cap_alloc(platform.parent);
_platform_ptr = &platform;
}

6
repos/base-linux/src/lib/base/thread_linux.cc
View File

@ -190,7 +190,11 @@ void Genode::init_thread_start(Capability<Pd_session> pd_cap)
}
void Genode::init_thread_bootstrap(Thread_capability main_cap)
void Genode::init_thread_bootstrap(Cpu_session &cpu, Thread_capability main_cap)
{
main_thread_cap(main_cap);
/* register TID and PID of the main thread at core */
Linux_native_cpu_client native_cpu(cpu.native_cpu());
native_cpu.thread_id(main_cap, lx_getpid(), lx_gettid());
}