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 ##
pgpA9asE0rOGb.pgp
Description: PGP signature
_______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
