#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.