On Tue, May 27, 2014 at 03:45:18PM +0000, Bouchra Elouri wrote:

Hi Matthias, can you explain to me what this fonction do :Scheduler::kinvoke(L4_obj_ref ref, L4_fpage::Rights rights, Syscall_frame *f, Utcb const *iutcb, Utcb *outcb)

L4_obj_ref ref : ?? explication

L4_obj_ref is a reference to a kernel object. See src/abi/l4_types.cpp for details.

L4_fpage::Rights rights : ??

These are the access rights for the kernel object. See src/abi/l4_fpage.cpp.

Syscall_frame *f : ??

A Syscall_frame encapsulates the system call data. See src/kern/entry_frame.cpp.

Utcb const *iutcb, Utcb *outcb: ??

The UTCB is used to pass and return data between kernel and user (in case of a system call) or between IPC partners.

If you have other questions in the future please use the l4-hackers mailing list!

Matthias.