sambuc/codezero
1
0
Fork 0
mirror of https://github.com/drasko/codezero.git synced 2026-01-15 12:23:15 +01:00
Code Issues Actions Packages Projects Releases Wiki Activity

Removed thread group id pool.

Browse Source 
We don't need a separate group id pool for now.
This commit is contained in:
Bahadir Balban
2009-05-11 12:21:08 +03:00
parent 1b04037034
commit db0d756dfa
3 changed files with 1 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
include/l4/generic/tcb.h
View File

@@ -130,7 +130,6 @@ static inline void set_task_ids(struct ktcb *task, struct task_ids *ids)
extern struct id_pool *thread_id_pool;
extern struct id_pool *space_id_pool;
extern struct id_pool *tgroup_id_pool;
struct ktcb *tcb_find(l4id_t tid);
struct ktcb *tcb_find_by_space(l4id_t tid);