Problem with hybrid L4Linux task

Frank Mehnert fm3 at
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.

## Dept. of Computer Science, Dresden University of Technology, Germany ##
##                                     ##
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: not available
URL: <>

More information about the l4-hackers mailing list