Newer
Older
#include <ipc.h>
#include <kernel.h>
int doSend(KernelStruct* Colonel, int TaskID, void* Msg, int MsgLen, void* Reply, int ReplyLen) {
TD* ReceiverTask = &(Colonel->Tasks[TaskID]);
if (ReceiverTask->TaskState == ReceiveBlocked) {
}
else {
}