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
More information about the l4-hackers