On Tue Apr 28, 2015 at 14:45:17 +0800, watermirror wrote:

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?

It is provided through the kernel which provides different versions depending whether sysenter is available or not. Adam -- Adam adam@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/