Rev 4491 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 4491 | Rev 4492 | ||
---|---|---|---|
Line 48... | Line 48... | ||
48 | extern int loader_spawn(const char *); |
48 | extern int loader_spawn(const char *); |
49 | extern loader_t *loader_connect(void); |
49 | extern loader_t *loader_connect(void); |
50 | extern int loader_get_task_id(loader_t *, task_id_t *); |
50 | extern int loader_get_task_id(loader_t *, task_id_t *); |
51 | extern int loader_set_pathname(loader_t *, const char *); |
51 | extern int loader_set_pathname(loader_t *, const char *); |
52 | extern int loader_set_args(loader_t *, char *const[]); |
52 | extern int loader_set_args(loader_t *, char *const[]); |
53 | extern int loader_set_files(loader_t *, inode_t *const[]); |
53 | extern int loader_set_files(loader_t *, fdi_node_t *const[]); |
54 | extern int loader_load_program(loader_t *); |
54 | extern int loader_load_program(loader_t *); |
55 | extern int loader_run(loader_t *); |
55 | extern int loader_run(loader_t *); |
56 | extern void loader_abort(loader_t *); |
56 | extern void loader_abort(loader_t *); |
57 | 57 | ||
58 | #endif |
58 | #endif |