L4Re - L4 Runtime Environment
L4::Ipc::Call_t< RIGHTS > Struct Template Reference

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 >:

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.


L4_RPC(long, func, (unsigned value), L4::Ipc::Call_t<L4_CAP_FPAGE_RW>);

Definition at line 246 of file ipc_iface.

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