L4Re Operating System Framework
Interface and Usage Documentation
Loading...
Searching...
No Matches
L4::Ipc::Call_t< RIGHTS > Struct Template Reference

RPC attribute for an RPC call with required rights. More...

#include <ipc_iface>

+ Inheritance diagram for L4::Ipc::Call_t< RIGHTS >:
+ Collaboration diagram for L4::Ipc::Call_t< RIGHTS >:

Detailed Description

template<unsigned RIGHTS>
struct L4::Ipc::Call_t< RIGHTS >

RPC attribute for an RPC call with required rights.

Template Parameters
RIGHTSThe 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:

L4_RPC(long, func, (unsigned value), L4::Ipc::Call_t<L4_CAP_FPAGE_RW>);
#define L4_RPC(res, name, args, attr...)
Define an RPC call (type and callable).
Definition ipc_iface:528
RPC attribute for an RPC call with required rights.
Definition ipc_iface:258

Definition at line 257 of file ipc_iface.


The documentation for this struct was generated from the following file: