Rev 2071 | Rev 2216 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2071 | Rev 2188 | ||
---|---|---|---|
Line 158... | Line 158... | ||
158 | void thread_exit(int status) |
158 | void thread_exit(int status) |
159 | { |
159 | { |
160 | __SYSCALL1(SYS_THREAD_EXIT, (sysarg_t) status); |
160 | __SYSCALL1(SYS_THREAD_EXIT, (sysarg_t) status); |
161 | } |
161 | } |
162 | 162 | ||
- | 163 | /** Detach thread. |
|
- | 164 | * |
|
- | 165 | * Currently not implemented. |
|
- | 166 | * |
|
- | 167 | * @param thread TID. |
|
- | 168 | */ |
|
- | 169 | void thread_detach(int thread) |
|
- | 170 | { |
|
- | 171 | } |
|
- | 172 | ||
- | 173 | /** Join thread. |
|
- | 174 | * |
|
- | 175 | * Currently not implemented. |
|
- | 176 | * |
|
- | 177 | * @param thread TID. |
|
- | 178 | * |
|
- | 179 | * @return Thread exit status. |
|
- | 180 | */ |
|
- | 181 | int thread_join(int thread) |
|
- | 182 | { |
|
- | 183 | } |
|
- | 184 | ||
- | 185 | /** Get current thread ID. |
|
- | 186 | * |
|
- | 187 | * @return Current thread ID. |
|
- | 188 | */ |
|
- | 189 | int thread_get_id(void) |
|
- | 190 | { |
|
- | 191 | return __SYSCALL0(SYS_THREAD_GET_ID); |
|
- | 192 | } |
|
- | 193 | ||
163 | /** @} |
194 | /** @} |
164 | */ |
195 | */ |