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

hw: rename delete_thread in kill_thread

Browse Source 
ref #953
This commit is contained in:
Martin Stein
2013-11-18 17:00:33 +01:00
committed by Norman Feske
parent f054b70e33
commit fde150b052
4 changed files with 10 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@ -39,7 +39,7 @@ namespace Kernel
{
enum {
NEW_THREAD = 0,
DELETE_THREAD = 1,
KILL_THREAD = 1,
START_THREAD = 2,
PAUSE_THREAD = 3,
RESUME_THREAD = 4,
@ -218,17 +218,15 @@ namespace Kernel
/**
* Delete an existing thread
* Destruct kernel thread-object
*
* \param id kernel name of the targeted thread
* \param thread_id kernel name of the targeted thread
*
* Restricted to core threads. After calling this, the memory that was
* granted beforehand by 'new_thread' to kernel for managing this thread
* is freed again.
* Restricted to core threads.
*/
inline void delete_thread(unsigned const thread_id)
inline void kill_thread(unsigned const thread_id)
{
call(Call_id::DELETE_THREAD, thread_id);
call(Call_id::KILL_THREAD, thread_id);
}