19 Sep
2005
19 Sep
'05
10:01 p.m.
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 ##