L4Re - L4 Runtime Environment
L4::Epiface_t0< RPC_IFACE, BASE > Struct Template Reference

Epiface mixin for generic Kobject-based interfaces. More...

+ Inheritance diagram for L4::Epiface_t0< RPC_IFACE, BASE >:
+ Collaboration diagram for L4::Epiface_t0< RPC_IFACE, BASE >:

Public Types

typedef RPC_IFACE Interface
 Data type of the IPC interface definition.
 

Public Member Functions

Type_info::Demand get_buffer_demand () const
 Get the server-side buffer demand based in IFACE.
 
Cap< RPC_IFACE > obj_cap () const
 Get the (typed) capability to this object. More...
 

Detailed Description

template<typename RPC_IFACE, typename BASE = Epiface>
struct L4::Epiface_t0< RPC_IFACE, BASE >

Epiface mixin for generic Kobject-based interfaces.

Template Parameters
RPC_IFACEData type of the IPC interface definition.
BASEBase Epiface class.

Definition at line 264 of file ipc_epiface.

Member Function Documentation

◆ obj_cap()

template<typename RPC_IFACE, typename BASE = Epiface>
Cap<RPC_IFACE> L4::Epiface_t0< RPC_IFACE, BASE >::obj_cap ( ) const
inline

Get the (typed) capability to this object.

Returns
Capability for the kernel object behind the server.

Definition at line 277 of file ipc_epiface.


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