Rev 2504 | Rev 3222 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2504 | Rev 3068 | ||
|---|---|---|---|
| Line 114... | Line 114... | ||
| 114 | 114 | ||
| 115 | extern void task_init(void); |
115 | extern void task_init(void); |
| 116 | extern void task_done(void); |
116 | extern void task_done(void); |
| 117 | extern task_t *task_create(as_t *as, char *name); |
117 | extern task_t *task_create(as_t *as, char *name); |
| 118 | extern void task_destroy(task_t *t); |
118 | extern void task_destroy(task_t *t); |
| 119 | extern task_t *task_run_program(void *program_addr, char *name); |
- | |
| 120 | extern task_t *task_find_by_id(task_id_t id); |
119 | extern task_t *task_find_by_id(task_id_t id); |
| 121 | extern int task_kill(task_id_t id); |
120 | extern int task_kill(task_id_t id); |
| 122 | extern uint64_t task_get_accounting(task_t *t); |
121 | extern uint64_t task_get_accounting(task_t *t); |
| 123 | 122 | ||
| 124 | extern void cap_set(task_t *t, cap_t caps); |
123 | extern void cap_set(task_t *t, cap_t caps); |
| Line 131... | Line 130... | ||
| 131 | #ifndef task_destroy_arch |
130 | #ifndef task_destroy_arch |
| 132 | extern void task_destroy_arch(task_t *t); |
131 | extern void task_destroy_arch(task_t *t); |
| 133 | #endif |
132 | #endif |
| 134 | 133 | ||
| 135 | extern unative_t sys_task_get_id(task_id_t *uspace_task_id); |
134 | extern unative_t sys_task_get_id(task_id_t *uspace_task_id); |
| - | 135 | extern unative_t sys_task_spawn(void *image, size_t size); |
|
| 136 | 136 | ||
| 137 | #endif |
137 | #endif |
| 138 | 138 | ||
| 139 | /** @} |
139 | /** @} |
| 140 | */ |
140 | */ |