mirror of
https://github.com/drasko/codezero.git
synced 2026-01-12 10:53:16 +01:00
c3c6c10cf7
It seems to work fine except an undefined instruction is generated from posix userspace occasionally
17 lines
327 B
C
17 lines
327 B
C
/*
|
|
* Copyright (C) 2007 Bahadir Balban
|
|
*/
|
|
#ifndef __GENERIC_THREAD_H__
|
|
#define __GENERIC_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(struct ktcb *);
|
|
|
|
#endif /* __GENERIC_THREAD_H__ */
|