[okl4-developer] IPC

[Peter Nguyen]

Hi,

>> 1. Check that the IPC did actually succeed, by doing
>>
>>  L4_MsgTag_t tag;
>>  tag = L4_Send(thread);
>>  assert(L4_IpcSucceeded(tag));
>>
>>  Of course you don't have to assert.
>>
>> 2. Using L4_LoadMR(mr_index, value) and L4_StoreMR(mr_index,  
>> &value) is unsafe for mr_index != 0. That is because the sender  
>> specifies how many MRs are to be transferred in the IPC message  
>> (this information is contained in MR[0]).  Simply setting the  
>> values of MR[n], without changing the control information in MR[0],  
>> could result in MRs not getting transferred.

OK, so what functions can i use (assuming they exist) to specify how  
many message registers that i want to be transferred in an IPC call?

-----------------------------------------------------
Peter Nguyen
Jacaranda Research Group