Newer
Older
#include <ipc.h>
#include <kernel.h>
int doSend(KernelStruct* Colonel, int TaskID, void* Msg, int MsgLen, void* Reply, int ReplyLen) {
}
int doReceive(KernelStruct* Colonel, int TaskID, void* Msg, int MsgLen) {
}
int doReply(KernelStruct* Colonel, int TaskID, void* Reply, int ReplyLen) {
}