Rev 4263 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4263 | Rev 4327 | ||
|---|---|---|---|
| Line 128... | Line 128... | ||
| 128 | * @param status Exit status. Currently not used. |
128 | * @param status Exit status. Currently not used. |
| 129 | */ |
129 | */ |
| 130 | void thread_exit(int status) |
130 | void thread_exit(int status) |
| 131 | { |
131 | { |
| 132 | __SYSCALL1(SYS_THREAD_EXIT, (sysarg_t) status); |
132 | __SYSCALL1(SYS_THREAD_EXIT, (sysarg_t) status); |
| - | 133 | for (;;) |
|
| - | 134 | ; |
|
| 133 | } |
135 | } |
| 134 | 136 | ||
| 135 | /** Detach thread. |
137 | /** Detach thread. |
| 136 | * |
138 | * |
| 137 | * Currently not implemented. |
139 | * Currently not implemented. |
| Line 150... | Line 152... | ||
| 150 | * |
152 | * |
| 151 | * @return Thread exit status. |
153 | * @return Thread exit status. |
| 152 | */ |
154 | */ |
| 153 | int thread_join(thread_id_t thread) |
155 | int thread_join(thread_id_t thread) |
| 154 | { |
156 | { |
| - | 157 | return 0; |
|
| 155 | } |
158 | } |
| 156 | 159 | ||
| 157 | /** Get current thread ID. |
160 | /** Get current thread ID. |
| 158 | * |
161 | * |
| 159 | * @return Current thread ID. |
162 | * @return Current thread ID. |