/branches/tracing/kernel/generic/src/proc/task.c |
---|
57,6 → 57,7 |
#include <errno.h> |
#include <func.h> |
#include <syscall/copy.h> |
#include <tdebug/tdebug.h> |
#ifndef LOADED_PROG_STACK_PAGES_NO |
#define LOADED_PROG_STACK_PAGES_NO 1 |
170,7 → 171,10 |
ta->capabilities = 0; |
ta->cycles = 0; |
/* init tdebug related stuff */ |
tdebug_task_init(ta); |
ipc_answerbox_init(&ta->answerbox); |
for (i = 0; i < IPC_MAX_PHONES; i++) |
ipc_phone_init(&ta->phones[i]); |