parent
c4c7979163
commit
198475b6b3
|
@ -60,6 +60,22 @@ static unsigned &rcv_sel()
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*****************************
|
||||||
|
** Startup library support **
|
||||||
|
*****************************/
|
||||||
|
|
||||||
|
void prepare_reinit_main_thread()
|
||||||
|
{
|
||||||
|
/**
|
||||||
|
* Reset selector to invalid, so that a new fresh will be allocated.
|
||||||
|
* The IPC buffer of the thread must be configured to point to the
|
||||||
|
* receive selector which is done by Capability_space::alloc_rcv_sel(),
|
||||||
|
* which finally calls seL4_SetCapReceivePath();
|
||||||
|
*/
|
||||||
|
rcv_sel() = 0;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* Convert Genode::Msgbuf_base content into seL4 message
|
* Convert Genode::Msgbuf_base content into seL4 message
|
||||||
*
|
*
|
||||||
|
|
|
@ -25,8 +25,6 @@
|
||||||
|
|
||||||
void prepare_init_main_thread() { }
|
void prepare_init_main_thread() { }
|
||||||
|
|
||||||
void prepare_reinit_main_thread() { prepare_init_main_thread(); }
|
|
||||||
|
|
||||||
|
|
||||||
/************
|
/************
|
||||||
** Thread **
|
** Thread **
|
||||||
|
|
|
@ -13,12 +13,16 @@
|
||||||
|
|
||||||
/* Genode includes */
|
/* Genode includes */
|
||||||
#include <base/thread.h>
|
#include <base/thread.h>
|
||||||
#include <base/printf.h>
|
#include <base/internal/native_thread.h>
|
||||||
#include <base/sleep.h>
|
|
||||||
|
|
||||||
using namespace Genode;
|
using namespace Genode;
|
||||||
|
|
||||||
|
|
||||||
void Thread::_init_platform_thread(size_t, Type type)
|
void Thread::_init_platform_thread(size_t, Type type)
|
||||||
{
|
{
|
||||||
|
/**
|
||||||
|
* Reset to default values. The default values trigger initial allocations
|
||||||
|
* and associations the thread, like IPCbuffer in ipc.cc.
|
||||||
|
*/
|
||||||
|
native_thread() = Native_thread();
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue
Block a user