kinvoke fonction

Matthias Lange matthias.lange at
Wed May 28 09:58:47 CEST 2014

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

> 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

> 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


Matthias Lange, matthias.lange at, +49 - 351 - 41 88 86 14

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

More information about the l4-hackers mailing list