Rev 1174 | Rev 1177 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1174 | Rev 1176 | ||
---|---|---|---|
Line 153... | Line 153... | ||
153 | thread_ready(t); |
153 | thread_ready(t); |
154 | 154 | ||
155 | return task; |
155 | return task; |
156 | } |
156 | } |
157 | 157 | ||
- | 158 | /** Syscall for reading task ID from userspace. |
|
- | 159 | * |
|
- | 160 | * @param uaddr Userspace address of 8-byte buffer where to store current task ID. |
|
- | 161 | * |
|
- | 162 | * @return Always returns 0. |
|
- | 163 | */ |
|
- | 164 | __native sys_get_task_id(task_id_t *uspace_task_id) |
|
- | 165 | { |
|
- | 166 | /* |
|
- | 167 | * No need to acquire lock on TASK because taskid |
|
- | 168 | * remains constant for the lifespan of the task. |
|
- | 169 | */ |
|
- | 170 | copy_to_uspace(uspace_task_id, &TASK->taskid, sizeof(TASK->taskid)); |
|
- | 171 | ||
- | 172 | return 0; |
|
- | 173 | } |
|
- | 174 | ||
158 | /** Print task list */ |
175 | /** Print task list */ |
159 | void task_print_list(void) |
176 | void task_print_list(void) |
160 | { |
177 | { |
161 | link_t *cur; |
178 | link_t *cur; |
162 | ipl_t ipl; |
179 | ipl_t ipl; |