/branches/tracing/uspace/lib/libc/include/task.h |
40,7 → 40,7 |
typedef uint64_t task_id_t; |
|
extern task_id_t task_get_id(void); |
extern task_id_t task_spawn(const char *path, char *const argv[]); |
extern task_id_t task_spawn(const char *path, const char *argv[]); |
|
#endif |
|
/branches/tracing/uspace/lib/libc/include/loader/pcb.h |
40,8 → 40,7 |
|
typedef void (*entry_point_t)(void); |
|
/** Program Control Block. |
* |
/** |
* Holds pointers to data passed from the program loader to the program |
* and/or to the dynamic linker. This includes the program entry point, |
* arguments, environment variables etc. |
/branches/tracing/uspace/lib/libc/include/ipc/loader.h |
32,17 → 32,15 |
/** @file |
*/ |
|
#ifndef LIBC_IPC_LOADER_H_ |
#define LIBC_IPC_LOADER_H_ |
#ifndef LIBC_LOADER_H_ |
#define LIBC_LOADER_H_ |
|
#include <ipc/ipc.h> |
|
typedef enum { |
LOADER_HELLO = IPC_FIRST_USER_METHOD, |
LOADER_GET_TASKID, |
LOADER_SET_PATHNAME, |
LOADER_SET_ARGS, |
LOADER_LOAD, |
LOADER_RUN |
} fb_request_t; |
|