L4Re Operating System Framework
Interface and Usage Documentation
|
RPC attribute for an RPC call with required rights. More...
#include <ipc_iface>
RPC attribute for an RPC call with required rights.
RIGHTS | The capability rights required for this call. L4_CAP_FPAGE_W and L4_CAP_FPAGE_S are checked within the server (and -L4_EPERM shall be returned if the caller has insufficient rights). L4_CAP_FPAGE_R is always on but might be specified for documentation purposes. Other rights cannot be used in this context, because they cannot be checked at the server side. |
Examples: