|
L4Re - L4 Runtime Environment
|
RPC attribute for an RPC call with required rights. More...
Inheritance diagram for L4::Ipc::Call_t< RIGHTS >:
Collaboration diagram for L4::Ipc::Call_t< RIGHTS >: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: