[okl4-developer] Message registers

[Nelson Tam]

Hi all,

In case anyone was having similar problems:

  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.

--
(nt)

Nelson Tam

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 1560 bytes
Desc: not available
Url : http://lists.okl4.org/pipermail/developer/attachments/20080415/d2790bf6/attachment.bin