Rev 3469 | Rev 3475 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3469 | Rev 3470 | ||
|---|---|---|---|
| Line 44... | Line 44... | ||
| 44 | 44 | ||
| 45 | extern loader_t *loader_spawn(void); |
45 | extern loader_t *loader_spawn(void); |
| 46 | extern int loader_get_task_id(loader_t *, task_id_t *); |
46 | extern int loader_get_task_id(loader_t *, task_id_t *); |
| 47 | extern int loader_set_pathname(loader_t *, const char *); |
47 | extern int loader_set_pathname(loader_t *, const char *); |
| 48 | extern int loader_set_args(loader_t *, char *const []); |
48 | extern int loader_set_args(loader_t *, char *const []); |
| 49 | extern int loader_start_program(loader_t *); |
49 | extern int loader_load_program(loader_t *); |
| - | 50 | extern int loader_run(loader_t *); |
|
| 50 | extern void loader_abort(loader_t *); |
51 | extern void loader_abort(loader_t *); |
| 51 | 52 | ||
| 52 | #endif |
53 | #endif |
| 53 | 54 | ||
| 54 | /** |
55 | /** |