Problem with hybrid L4Linux task

[Frank Mehnert]

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-0001.sig>