ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-19 05:37:54 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

hw: no default values for kernel-call args

Browse Source 
ref #967
This commit is contained in:
Martin Stein 2013-11-25 10:57:07 +01:00 committed by Norman Feske
parent 0d3f5be95b
commit 5b90113d86
4 changed files with 21 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
base-hw/include/kernel/interface.h
View File

@ -250,24 +250,24 @@ namespace Kernel
/**
* Prevent thread from participating in CPU scheduling
*
* \param id ID of the targeted thread. If not set
* this will target the current thread.
* \param thread_id kernel name of the targeted thread or 0
*
* \retval 0 succeeded
* \retval -1 the targeted thread does not exist or is still active
*
* If the caller doesn't target itself, this is restricted to core threads.
* If thread_id is set to 0 the caller targets itself. If the caller
* doesn't target itself, the call is restricted to core threads.
*/
inline int pause_thread(unsigned const id = 0)
inline int pause_thread(unsigned const thread_id)
{
return call(Call_id::PAUSE_THREAD, id);
return call(Call_id::PAUSE_THREAD, thread_id);
}
/**
* Let an already started thread participate in CPU scheduling
*
* \param id ID of the targeted thread
* \param thread_id kernel name of the targeted thread
*
* \retval 0 succeeded and thread was paused beforehand
* \retval 1 succeeded and thread was active beforehand
@ -276,21 +276,23 @@ namespace Kernel
* If the targeted thread blocks for any event except a 'start_thread'
* call this call cancels the blocking.
*/
inline int resume_thread(unsigned const id = 0)
inline int resume_thread(unsigned const thread_id)
{
return call(Call_id::RESUME_THREAD, id);
return call(Call_id::RESUME_THREAD, thread_id);
}
/**
* Let the current thread give up its remaining timeslice
*
* \param id if this thread ID is set and valid this will resume the
* targeted thread additionally
* \param thread_id kernel name of the benefited thread
*
* If thread_id is valid the call will resume the targeted thread
* additionally.
*/
inline void yield_thread(unsigned const id = 0)
inline void yield_thread(unsigned const thread_id)
{
call(Call_id::YIELD_THREAD, id);
call(Call_id::YIELD_THREAD, thread_id);
}

2
base-hw/src/base/ipc.cc
View File

@ -95,7 +95,7 @@ Ipc_ostream::Ipc_ostream(Native_capability dst, Msgbuf_base *snd_msg)
void Ipc_istream::_wait()
{
/* FIXME: this shall be not supported */
Kernel::pause_thread();
Kernel::pause_thread(0);
}

4
base-hw/src/base/lock/lock_helper.h
View File

@ -24,7 +24,7 @@ extern Genode::Native_thread_id _main_thread_id;
/**
* Yield execution time-slice of current thread
*/
static inline void thread_yield() { Kernel::yield_thread(); }
static inline void thread_yield() { Kernel::yield_thread(0); }
/**
@ -59,7 +59,7 @@ thread_check_stopped_and_restart(Genode::Thread_base * const t)
/**
* Pause execution of current thread
*/
static inline void thread_stop_myself() { Kernel::pause_thread(); }
static inline void thread_stop_myself() { Kernel::pause_thread(0); }
#endif /* _LOCK_HELPER_H_ */

5
base-hw/src/core/include/platform.h
View File

@ -107,7 +107,10 @@ namespace Genode {
inline Rom_fs *rom_fs() { return &_rom_fs; }
inline void wait_for_exit() { while (1) Kernel::pause_thread(); };
inline void wait_for_exit()
{
while (1) { Kernel::pause_thread(0); }
};
bool supports_direct_unmap() const { return 1; }