hi ,in the file :l4re/pkg/l4sys/include/ARCH-x86/ipc-invoke.h, the comments says:

We use ecx to store the user-level espand save eip onto the stack.

but where could if find the corresponding code?