mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
@@ -58,9 +58,6 @@ void prepare_init_main_thread()
|
||||
}
|
||||
|
||||
|
||||
void prepare_reinit_main_thread() { prepare_init_main_thread(); }
|
||||
|
||||
|
||||
/************
|
||||
** Thread **
|
||||
************/
|
||||
|
||||
@@ -56,9 +56,6 @@ void Thread::_init_platform_thread(size_t weight, Type type)
|
||||
addr_t const utcb_new = (addr_t)&_stack->utcb() - stack_area;
|
||||
Region_map * const rm = env_stack_area_region_map;
|
||||
|
||||
if (type == REINITIALIZED_MAIN)
|
||||
rm->detach(utcb_new);
|
||||
|
||||
/* remap initial main-thread UTCB according to stack-area spec */
|
||||
try { rm->attach_at(Hw::_main_thread_utcb_ds, utcb_new, utcb_size); }
|
||||
catch(...) {
|
||||
|
||||
Reference in New Issue
Block a user