/branches/sparc/kernel/generic/src/udebug/udebug_ipc.c |
---|
41,6 → 41,7 |
#include <proc/task.h> |
#include <proc/thread.h> |
#include <arch.h> |
#include <arch/asm.h> |
#include <errno.h> |
#include <ipc/ipc.h> |
#include <syscall/copy.h> |
/branches/sparc/kernel/generic/src/udebug/udebug.c |
---|
42,6 → 42,8 |
#include <udebug/udebug.h> |
#include <errno.h> |
#include <arch.h> |
#include <arch/asm.h> |
#include <print.h> |
/** Initialize udebug part of task structure. |
/branches/sparc/kernel/generic/src/udebug/udebug_ops.c |
---|
43,11 → 43,13 |
#include <proc/task.h> |
#include <proc/thread.h> |
#include <arch.h> |
#include <arch/asm.h> |
#include <errno.h> |
#include <syscall/copy.h> |
#include <ipc/ipc.h> |
#include <udebug/udebug.h> |
#include <udebug/udebug_ops.h> |
#include <print.h> |
/** |
* Prepare a thread for a debugging operation. |