#include <l4/env/errno.h>
#include <l4/thread/thread.h>
#include <l4/dde_linux/dde.h>
#include <linux/sched.h>
#include "__config.h"
#include "internal.h"
Go to the source code of this file.
Classes | |
struct | kernel_thread_data |
Kernel thread startup helper. More... | |
Functions | |
task_struct * | get_current () |
Get pointer to current task structure. | |
int | l4dde_process_add_worker () |
Add caller as new process level worker. | |
int | l4dde_process_init () |
Initalize process module. | |
void | __start_kernel_thread (struct kernel_thread_data *data) |
Kernel thread startup helper. | |
long | kernel_thread (int(*fn)(void *), void *arg, unsigned long flags) |
Create kernel thread. | |
Variables | |
int | _key = -L4_ENOKEY |
thread data key for "current" data | |
task_struct | _data = INIT_TASK(_data) |
initial task structure | |
int | _initialized = 0 |
initialization flag |
Definition in file process.c.