about sysenter

[watermirror]

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?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20150428/47ef7764/attachment.html>