/branches/sparc/kernel/generic/src/ipc/kbox.c |
---|
38,8 → 38,10 |
#include <ipc/ipc.h> |
#include <ipc/ipcrsc.h> |
#include <arch.h> |
#include <arch/asm.h> |
#include <errno.h> |
#include <debug.h> |
#include <print.h> |
#include <udebug/udebug_ipc.h> |
#include <ipc/kbox.h> |