Problem with hybrid L4Linux task

Frank Mehnert fm3 at os.inf.tu-dresden.de
Mon Sep 19 22:01:56 CEST 2005


For the record: In l4_ipc_send() there was no "memory" clobber specified
(l4_ipc_send() does not modify any memory in the sender's address space).
In this case, the structure itself, not only a pointer to a structure has
to be specified as input operand.

Frank
-- 
## Dept. of Computer Science, Dresden University of Technology, Germany ##
## http://os.inf.tu-dresden.de/~fm3                                     ##
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: not available
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20050919/849ed802/attachment.sig>


More information about the l4-hackers mailing list