Hello,

Please look at the l4sys package in L4Re. You can find the details on the invocation of the kernel there. The actual call is made by jumping to the syscall page / KIP. The call is made from here:

pkg/l4sys/include/ARCH-x86/ipc-invoke.h pkg/l4sys/include/ARCH-x86/L4API-l4f/ipc-l42-gcc3-nopic.h pkg/l4sys/lib/src/ARCH-x86/syscalls_direct.S

see also the code in the kernel here: src/kern/ia32/32/sys_call_page-abs-ia32.cpp and here: src/kern/ia32/32/sys_call_page-asm.S

- Marcus

On 2014-05-26 21:45, Yuxin Ren wrote:

Thank you very much. But I only found it in the kernel code. How about it in the L4Re code? I think there should be some instructions like sysenter in the user level code,  but I do not find where it is.

Thanks again.

On Mon, May 26, 2014 at 11:40 AM, Matthias Lange matthias.lange@kernkonzept.com wrote:

...

Hi,

On 26.05.2014, at 19:57, Yuxin Ren ryx@gwmail.gwu.edu wrote:

...

Where is the code around kernel entry, including both l4Re and kernel?

Please have a look at the files named 'entry*' in the Fiasco src directory.

Matthias.

...

What is the register format of system call in Fiasco?

Thanks a lot. Best _______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers [1]

matthias.lange@kernkonzept.com - Tel. 0351-41 888 614

Kernkonzept GmbH.  Sitz: Dresden.  Amtsgericht Dresden, HRB 31129. Geschäftsführer: Dr.-Ing. Michael Hohmuth

Links:

[1] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

---

l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers