ipc.c

#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 {
        
    }
}

int doReceive(KernelStruct* Colonel, int TaskID, void* Msg, int MsgLen) {

}

int doReply(KernelStruct* Colonel, int TaskID, void* Reply, int ReplyLen) {
    
}