Rev 2581 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2581 | Rev 2586 | ||
|---|---|---|---|
| Line 39... | Line 39... | ||
| 39 | #include <libarch/thread.h> |
39 | #include <libarch/thread.h> |
| 40 | #include <sys/types.h> |
40 | #include <sys/types.h> |
| 41 | 41 | ||
| 42 | typedef uint64_t thread_id_t; |
42 | typedef uint64_t thread_id_t; |
| 43 | 43 | ||
| 44 | extern char _tls_alignment; |
- | |
| 45 | - | ||
| 46 | extern void __thread_entry(void); |
44 | extern void __thread_entry(void); |
| 47 | extern void __thread_main(uspace_arg_t *uarg); |
45 | extern void __thread_main(uspace_arg_t *); |
| 48 | 46 | ||
| 49 | extern int thread_create(void (* function)(void *), void *arg, char *name, thread_id_t *tid); |
47 | extern int thread_create(void (*)(void *), void *, char *, thread_id_t *); |
| 50 | extern void thread_exit(int status); |
48 | extern void thread_exit(int); |
| 51 | extern void thread_detach(thread_id_t thread); |
49 | extern void thread_detach(thread_id_t); |
| 52 | extern int thread_join(thread_id_t thread); |
50 | extern int thread_join(thread_id_t); |
| 53 | extern thread_id_t thread_get_id(void); |
51 | extern thread_id_t thread_get_id(void); |
| 54 | extern tcb_t * __make_tls(void); |
- | |
| 55 | extern tcb_t * __alloc_tls(void **data, size_t size); |
- | |
| 56 | extern void __free_tls(tcb_t *); |
- | |
| 57 | extern void __free_tls_arch(tcb_t *, size_t size); |
- | |
| 58 | 52 | ||
| 59 | #endif |
53 | #endif |
| 60 | 54 | ||
| 61 | /** @} |
55 | /** @} |
| 62 | */ |
56 | */ |