Rev 3035 | Rev 3425 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3035 | Rev 3424 | ||
|---|---|---|---|
| Line 127... | Line 127... | ||
| 127 | 127 | ||
| 128 | extern void task_init(void); |
128 | extern void task_init(void); |
| 129 | extern void task_done(void); |
129 | extern void task_done(void); |
| 130 | extern task_t *task_create(as_t *as, char *name); |
130 | extern task_t *task_create(as_t *as, char *name); |
| 131 | extern void task_destroy(task_t *t); |
131 | extern void task_destroy(task_t *t); |
| 132 | extern task_t *task_run_program(void *program_addr, char *name); |
- | |
| 133 | extern task_t *task_find_by_id(task_id_t id); |
132 | extern task_t *task_find_by_id(task_id_t id); |
| 134 | extern int task_kill(task_id_t id); |
133 | extern int task_kill(task_id_t id); |
| 135 | extern uint64_t task_get_accounting(task_t *t); |
134 | extern uint64_t task_get_accounting(task_t *t); |
| 136 | 135 | ||
| 137 | extern void cap_set(task_t *t, cap_t caps); |
136 | extern void cap_set(task_t *t, cap_t caps); |
| Line 144... | Line 143... | ||
| 144 | #ifndef task_destroy_arch |
143 | #ifndef task_destroy_arch |
| 145 | extern void task_destroy_arch(task_t *t); |
144 | extern void task_destroy_arch(task_t *t); |
| 146 | #endif |
145 | #endif |
| 147 | 146 | ||
| 148 | extern unative_t sys_task_get_id(task_id_t *uspace_task_id); |
147 | extern unative_t sys_task_get_id(task_id_t *uspace_task_id); |
| - | 148 | extern unative_t sys_task_spawn(void *image, size_t size); |
|
| 149 | 149 | ||
| 150 | #endif |
150 | #endif |
| 151 | 151 | ||
| 152 | /** @} |
152 | /** @} |
| 153 | */ |
153 | */ |