about sysenter

Adam Lackorzynski adam at os.inf.tu-dresden.de
Tue Apr 28 22:54:22 CEST 2015

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 at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list