Rev 4263 | Go to most recent revision | 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. |