Rev 2898 | Rev 3015 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2898 | Rev 2902 | ||
|---|---|---|---|
| Line 231... | Line 231... | ||
| 231 | 231 | ||
| 232 | extern void thread_init(void); |
232 | extern void thread_init(void); |
| 233 | extern thread_t *thread_create(void (* func)(void *), void *arg, task_t *task, |
233 | extern thread_t *thread_create(void (* func)(void *), void *arg, task_t *task, |
| 234 | int flags, char *name, bool uncounted); |
234 | int flags, char *name, bool uncounted); |
| 235 | extern void thread_attach(thread_t *t, task_t *task); |
235 | extern void thread_attach(thread_t *t, task_t *task); |
| 236 | extern int thread_attach_by_id(thread_t *t, task_id_t taskid); |
- | |
| 237 | extern void thread_ready(thread_t *t); |
236 | extern void thread_ready(thread_t *t); |
| 238 | extern void thread_exit(void) __attribute__((noreturn)); |
237 | extern void thread_exit(void) __attribute__((noreturn)); |
| 239 | 238 | ||
| 240 | #ifndef thread_create_arch |
239 | #ifndef thread_create_arch |
| 241 | extern void thread_create_arch(thread_t *t); |
240 | extern void thread_create_arch(thread_t *t); |