L4Re Operating System Framework
Interface and Usage Documentation
|
List of RPCs typically used for kernel interfaces. More...
#include <l4/sys/capability>
List of RPCs typically used for kernel interfaces.
RPCS | list of RPC types as defined by L4_RPC etc. |
This list of RPC functions uses l4_umword_t as type for the opcode as most kernel protocol do.
Definition at line 476 of file __typeinfo.h.