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