Rev 1571 | Rev 1579 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1571 | Rev 1576 | ||
---|---|---|---|
Line 35... | Line 35... | ||
35 | #include <fpu_context.h> |
35 | #include <fpu_context.h> |
36 | #include <arch/types.h> |
36 | #include <arch/types.h> |
37 | #include <typedefs.h> |
37 | #include <typedefs.h> |
38 | #include <time/timeout.h> |
38 | #include <time/timeout.h> |
39 | #include <synch/rwlock.h> |
39 | #include <synch/rwlock.h> |
- | 40 | #include <synch/synch.h> |
|
40 | #include <config.h> |
41 | #include <config.h> |
41 | #include <adt/btree.h> |
42 | #include <adt/btree.h> |
42 | #include <adt/list.h> |
43 | #include <adt/list.h> |
43 | #include <mm/slab.h> |
44 | #include <mm/slab.h> |
44 | #include <proc/uarg.h> |
45 | #include <proc/uarg.h> |
Line 152... | Line 153... | ||
152 | #endif |
153 | #endif |
153 | 154 | ||
154 | extern void thread_sleep(__u32 sec); |
155 | extern void thread_sleep(__u32 sec); |
155 | extern void thread_usleep(__u32 usec); |
156 | extern void thread_usleep(__u32 usec); |
156 | 157 | ||
- | 158 | #define thread_join(t) thread_join_timeout((t), SYNCH_NO_TIMEOUT, SYNCH_FLAGS_NONE) |
|
157 | extern int thread_join_timeout(thread_t *t, __u32 usec, int flags); |
159 | extern int thread_join_timeout(thread_t *t, __u32 usec, int flags); |
158 | extern void thread_detach(thread_t *t); |
160 | extern void thread_detach(thread_t *t); |
159 | 161 | ||
160 | extern void thread_register_call_me(void (* call_me)(void *), void *call_me_with); |
162 | extern void thread_register_call_me(void (* call_me)(void *), void *call_me_with); |
161 | extern void thread_print_list(void); |
163 | extern void thread_print_list(void); |