Rev 2586 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2586 | Rev 4262 | ||
|---|---|---|---|
| Line 43... | Line 43... | ||
| 43 | 43 | ||
| 44 | extern void __thread_entry(void); |
44 | extern void __thread_entry(void); |
| 45 | extern void __thread_main(uspace_arg_t *); |
45 | extern void __thread_main(uspace_arg_t *); |
| 46 | 46 | ||
| 47 | extern int thread_create(void (*)(void *), void *, char *, thread_id_t *); |
47 | extern int thread_create(void (*)(void *), void *, char *, thread_id_t *); |
| 48 | extern void thread_exit(int); |
48 | extern void thread_exit(int) __attribute__ ((noreturn)); |
| 49 | extern void thread_detach(thread_id_t); |
49 | extern void thread_detach(thread_id_t); |
| 50 | extern int thread_join(thread_id_t); |
50 | extern int thread_join(thread_id_t); |
| 51 | extern thread_id_t thread_get_id(void); |
51 | extern thread_id_t thread_get_id(void); |
| 52 | 52 | ||
| 53 | #endif |
53 | #endif |