Rev 777 | Rev 788 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 777 | Rev 787 | ||
|---|---|---|---|
| Line 132... | Line 132... | ||
| 132 | extern void thread_sleep(__u32 sec); |
132 | extern void thread_sleep(__u32 sec); |
| 133 | extern void thread_usleep(__u32 usec); |
133 | extern void thread_usleep(__u32 usec); |
| 134 | 134 | ||
| 135 | extern void thread_register_call_me(void (* call_me)(void *), void *call_me_with); |
135 | extern void thread_register_call_me(void (* call_me)(void *), void *call_me_with); |
| 136 | extern void thread_print_list(void); |
136 | extern void thread_print_list(void); |
| - | 137 | extern void thread_destroy(thread_t *t); |
|
| 137 | 138 | ||
| 138 | #endif |
139 | #endif |