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; |