L4Re Operating System Framework
Interface and Usage Documentation
|
Definition of interface data-type helpers. More...
Data Structures | |
struct | P_dispatch |
Use for protocol based dispatch stage. More... | |
struct | Raw_ipc |
RPCs list for passing raw incoming IPC to the server object. More... | |
struct | Rpc_nocode |
List of RPCs of an interface using a single operation without an opcode. More... | |
struct | Rpcs |
Standard list of RPCs of an interface. More... | |
struct | Rpcs_code |
List of RPCs of an interface using a special opcode type. More... | |
struct | Rpcs_sys |
List of RPCs typically used for kernel interfaces. More... | |
Definition of interface data-type helpers.
<type_traits>
header for the standard C++ library or use <l4/cxx/type_traits>
.