/branches/tracing/kernel/generic/include/ipc/ipc.h |
---|
211,8 → 211,6 |
#define IPC_MAX_PHONES 16 |
#include <synch/spinlock.h> |
#include <synch/mutex.h> |
#include <synch/waitq.h> |
struct answerbox; |
233,7 → 231,7 |
/** Structure identifying phone (in TASK structure) */ |
typedef struct { |
mutex_t lock; |
SPINLOCK_DECLARE(lock); |
link_t link; |
struct answerbox *callee; |
ipc_phone_state_t state; |