mirror of
https://github.com/drasko/codezero.git
synced 2026-01-14 11:53:15 +01:00
9177166817
Issues: - A page-faulting thread suspends if receives -1 from pager page fault ipc. This is fine if pager is about to delete the thread, but it is not if it is a buggy pager. - Need to find a way to completely get rid of suspended pager. - A method of deleting suspended tasks could remedy both cases above.
18 lines
341 B
C
18 lines
341 B
C
/*
|
|
* Copyright (C) 2007 Bahadir Balban
|
|
*/
|
|
#ifndef __THREAD_H__
|
|
#define __THREAD_H__
|
|
|
|
#include <l4/generic/tcb.h>
|
|
|
|
/* Thread id creation and deleting */
|
|
void thread_id_pool_init(void);
|
|
int thread_id_new(void);
|
|
int thread_id_del(int tid);
|
|
|
|
void thread_destroy_self(void);
|
|
int thread_destroy(struct task_ids *ids);
|
|
|
|
#endif /* __THREAD_H__ */
|