/branches/tracing/kernel/generic/include/proc/task.h |
---|
52,6 → 52,7 |
#include <arch/cpu.h> |
#include <mm/tlb.h> |
#include <proc/scheduler.h> |
#include <tdebug/tdebug_type.h> |
struct thread; |
107,6 → 108,9 |
/** Accumulated accounting. */ |
uint64_t cycles; |
/** Task debugging stuff */ |
task_tdebug_t tdebug; |
} task_t; |
SPINLOCK_EXTERN(tasks_lock); |
/branches/tracing/kernel/generic/include/proc/tasklet.h |
---|
58,7 → 58,7 |
tasklet_callback_t callback; |
/** Argument passed to the callback */ |
void* arg; |
void *arg; |
/** State of the tasklet */ |
tasklet_state_t state; |
/branches/tracing/kernel/generic/include/proc/thread.h |
---|
46,6 → 46,7 |
#include <arch/cpu.h> |
#include <mm/tlb.h> |
#include <proc/uarg.h> |
#include <tdebug/tdebug_type.h> |
#define THREAD_STACK_SIZE STACK_SIZE |
#define THREAD_NAME_BUFLEN 20 |
203,6 → 204,9 |
/** Thread's kernel stack. */ |
uint8_t *kstack; |
/** Task debugging stuff */ |
thread_tdebug_t tdebug; |
} thread_t; |
/** Thread list lock. |
248,6 → 252,8 |
extern void thread_update_accounting(void); |
extern bool thread_exists(thread_t *t); |
extern thread_t *thread_find_by_id(thread_id_t id); |
/** Fpu context slab cache. */ |
extern slab_cache_t *fpu_context_slab; |