L4Re - L4 Runtime Environment
ipc_types File Reference
#include "capability.h"
#include "types"
#include "ipc_basics"
+ Include dependency graph for ipc_types:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures

struct  L4::Ipc::Out< T >
 Mark an argument as a output value in an RPC signature. More...
 
struct  L4::Ipc::In_out< T >
 Mark an argument as in-out argument. More...
 
struct  L4::Ipc::As_value< T >
 Pass the argument as plain data value. More...
 
struct  L4::Ipc::Opt< T >
 Attribute for defining an optional RPC argument. More...
 
class  L4::Ipc::Small_buf
 A receive item for receiving a single capability. More...
 
class  L4::Ipc::Snd_item
 RPC wrapper for a send item. More...
 
class  L4::Ipc::Buf_item
 RPC warpper for a receive item. More...
 
class  L4::Ipc::Gen_fpage< T >
 Generic RPC wrapper for L4 flex-pages. More...
 
class  L4::Ipc::Cap< T >
 Capability type for RPC interfaces (see L4::Cap<T>). More...
 

Namespaces

 L4
 L4 low-level kernel interface.
 
 L4::Ipc
 IPC related functionality.
 
 L4::Ipc::Msg
 IPC Message related functionality.
 

Typedefs

typedef Gen_fpage< Snd_item > L4::Ipc::Snd_fpage
 Send flex-page.
 
typedef Gen_fpage< Buf_item > L4::Ipc::Rcv_fpage
 Rcv flex-page.
 

Functions

template<typename T >
Cap< T > L4::Ipc::make_cap (L4::Cap< T > cap, unsigned rights)
 Make an L4::Ipc::Cap<T> for the given capability and rights. More...
 
template<typename T >
Cap< T > L4::Ipc::make_cap_rw (L4::Cap< T > cap)
 Make an L4::Ipc::Cap<T> for the given capability with L4_CAP_FPAGE_RW rights. More...
 
template<typename T >
Cap< T > L4::Ipc::make_cap_rws (L4::Cap< T > cap)
 Make an L4::Ipc::Cap<T> for the given capability with L4_CAP_FPAGE_RWS rights. More...
 
template<typename T >
Cap< T > L4::Ipc::make_cap_full (L4::Cap< T > cap)
 Make an L4::IPC::Cap<T> for the given capability with full fpage and object-specific rights. More...